hydra-0.8.0: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Graph

Documentation

elementName :: TTerm (Element -> Name) Source #

graph :: TTerm (Map Name Element) -> TTerm (Map Name (Maybe Term)) -> TTerm (Map Name TypeScheme) -> TTerm Term -> TTerm (Map Name Primitive) -> TTerm (Maybe Graph) -> TTerm Graph Source #

graphElements :: TTerm (Graph -> Map Name Element) Source #

graphEnvironment :: TTerm (Graph -> Map Name (Maybe Term)) Source #

graphTypes :: TTerm (Graph -> Map Name TypeScheme) Source #

graphBody :: TTerm (Graph -> Term) Source #

graphPrimitives :: TTerm (Graph -> Map Name Primitive) Source #

graphSchema :: TTerm (Graph -> Maybe Graph) Source #

primitiveName :: TTerm (Primitive -> Name) Source #

primitiveType :: TTerm (Primitive -> TypeScheme) Source #

primitiveImplementation :: TTerm (Primitive -> [Term] -> Flow Graph Term) Source #