Documentation

actionToResult :: Entity Action -> Action Source #

axiomToResult :: Entity Sentence -> Entity LocIdBase -> Maybe (Entity FileRange) -> [Symbol] -> Sentence Source #

conjectureToResult :: Entity Sentence -> Entity LocIdBase -> Maybe (Entity FileRange) -> Entity Conjecture -> Action -> [Symbol] -> [ReasoningAttempt] -> Sentence Source #

conservativityStatusToResult :: Entity ConservativityStatus -> ConservativityStatus Source #

documentLinkToResult :: Entity LocIdBase -> Entity LocIdBase -> DocumentLink Source #

fileRangeToResult :: Entity FileRange -> FileRange Source #

languageToResult :: Entity Language -> Language Source #

languageMappingToResult :: Entity LanguageMapping -> Entity Language -> Entity Language -> LanguageMapping Source #

libraryToResult :: Entity Document -> Entity LocIdBase -> [DocumentLink] -> [DocumentLink] -> [OMSSimple] -> Library Source #

logicToResult :: Entity Logic -> Logic Source #

logicMappingToResult :: Entity LogicMapping -> Entity Logic -> Entity Logic -> LanguageMapping -> LogicMapping Source #

mappingToResult :: Entity Mapping -> Entity LocIdBase -> Entity SignatureMorphism -> Maybe (Entity ConservativityStatus) -> Entity LocIdBase -> Entity LocIdBase -> Maybe (Entity LocIdBase) -> Maybe (Entity Language) -> Mapping Source #

nativeDocumentToResult :: Entity Document -> Entity LocIdBase -> [DocumentLink] -> [DocumentLink] -> OMSSimple -> NativeDocument Source #

omsToResult :: Entity OMS -> Entity LocIdBase -> Entity ConservativityStatus -> Maybe (Entity FileRange) -> Maybe (Entity LocIdBase) -> Maybe (Entity SignatureMorphism) -> Entity Language -> Entity Logic -> Maybe (Entity LocIdBase) -> Maybe (Entity SignatureMorphism) -> [ReasoningAttempt] -> [Mapping] -> [Mapping] -> [Sentence] -> Maybe StringReference -> OMS Source #

omsToResultSimple :: Entity OMS -> Entity LocIdBase -> OMSSimple Source #

premiseSelectionToResult :: [Entity LocIdBase] -> PremiseSelection Source #

reasonerToResult :: Entity Reasoner -> Reasoner Source #

reasonerConfigurationToResult :: Entity ReasonerConfiguration -> Maybe (Entity Reasoner) -> [PremiseSelection] -> ReasonerConfiguration Source #

reasonerOutputToResult :: Entity ReasonerOutput -> ReasonerOutput Source #

reasoningAttemptToResult :: Entity ReasoningAttempt -> Maybe (Entity ReasonerOutput) -> Maybe (Entity Reasoner) -> Action -> ReasonerConfiguration -> ReasoningAttempt Source #

serializationToResult :: Entity Serialization -> Entity Language -> Serialization Source #

signatureToResult :: Entity Signature -> [Entity LocIdBase] -> [Entity SignatureMorphism] -> [Entity SignatureMorphism] -> [(Entity LocIdBase, Entity Symbol, Maybe (Entity FileRange))] -> Signature Source #

signatureMorphismToResult :: Entity SignatureMorphism -> Entity Signature -> Entity Signature -> LogicMapping -> [Mapping] -> [SymbolMapping] -> SignatureMorphism Source #

symbolToResult :: Entity LocIdBase -> Entity Symbol -> Maybe (Entity FileRange) -> Symbol Source #

symbolToResultUncurried :: (Entity LocIdBase, Entity Symbol, Maybe (Entity FileRange)) -> Symbol Source #

symbolMappingToResult :: (Entity LocIdBase, Entity Symbol, Maybe (Entity FileRange)) -> (Entity LocIdBase, Entity Symbol, Maybe (Entity FileRange)) -> SymbolMapping Source #

uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> d Source #