Hets - the Heterogeneous Tool Set

Safe HaskellNone

PGIP.GraphQL.Resolver.ToResult

Documentation

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 #

mappingToResult :: Entity Mapping -> Entity LocIdBase -> Entity SignatureMorphism -> Maybe (Entity ConservativityStatus) -> Entity LocIdBase -> Entity LocIdBase -> Maybe (Entity LocIdBase) -> Maybe (Entity Language) -> Mapping 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 #

signatureToResult :: Entity Signature -> [Entity LocIdBase] -> [Entity SignatureMorphism] -> [Entity SignatureMorphism] -> [(Entity LocIdBase, Entity Symbol, Maybe (Entity FileRange))] -> Signature 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 #