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

Hydra.Dsl.Graph

Documentation

graph :: Datum (Map Name Element) -> Datum (Map Name (Maybe Term)) -> Datum (Map Name Type) -> Datum Term -> Datum (Map Name Primitive) -> Datum (Maybe Graph) -> Datum Graph Source #

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

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

graphTypes :: Datum (Graph -> Map Name Type) Source #

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

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

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