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

Hydra.Lexical

Documentation

deref :: Term m -> GraphFlow m (Term m) Source #

dereferenceElement :: Name -> GraphFlow m (Term m) Source #

lookupPrimitiveFunction :: Context m -> Name -> Maybe (PrimitiveFunction m) Source #

primitiveFunctionArity :: PrimitiveFunction m -> Int Source #

requireElement :: Name -> GraphFlow m (Element m) Source #

requirePrimitiveFunction :: Name -> GraphFlow m (PrimitiveFunction m) Source #

schemaContext :: Context m -> Context m Source #

withSchemaContext :: GraphFlow m a -> GraphFlow m a Source #

module Hydra.Common