Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.Dsl.Core
Documentation
annotatedTermSubject :: Datum (AnnotatedTerm -> Term) Source #
annotatedTypeSubject :: Datum (AnnotatedType -> Type) Source #
application :: Datum Term -> Datum Term -> Datum Application Source #
applicationFunction :: Datum (Application -> Term) Source #
applicationArgument :: Datum (Application -> Term) Source #
applicationType :: Datum Type -> Datum Type -> Datum ApplicationType Source #
caseStatementTypeName :: Datum (CaseStatement -> Name) Source #
caseStatementDefault :: Datum (CaseStatement -> Maybe Term) Source #
caseStatementCases :: Datum (CaseStatement -> [Field]) Source #
functionType :: Datum Type -> Datum Type -> Datum FunctionType Source #
functionTypeDomain :: Datum (FunctionType -> Type) Source #
functionTypeCodomain :: Datum (FunctionType -> Type) Source #
lambdaType :: Datum Name -> Datum Type -> Datum LambdaType Source #
lambdaTypeParameter :: Datum (LambdaType -> Name) Source #
lambdaTypeBody :: Datum (LambdaType -> Type) Source #
letExpression :: Datum [LetBinding] -> Datum Term -> Datum Let Source #
letBindings :: Datum (Let -> [LetBinding]) Source #
letBindingName :: Datum (LetBinding -> Name) Source #
letBindingTerm :: Datum (LetBinding -> Term) Source #
letBindingType :: Datum (LetBinding -> Maybe TypeScheme) Source #
literalFloat :: Datum FloatValue -> Datum Literal Source #
optionalCases :: Datum Term -> Datum Term -> Datum OptionalCases Source #
optionalCasesNothing :: Datum (OptionalCases -> Term) Source #
optionalCasesJust :: Datum (OptionalCases -> Term) Source #
projectionTypeName :: Datum (Projection -> Name) Source #
projectionField :: Datum (Projection -> Name) Source #
termAnnotated :: Datum AnnotatedTerm -> Datum Term Source #
tupleProjectionArity :: Datum (TupleProjection -> Int) Source #
tupleProjectionIndex :: Datum (TupleProjection -> Int) Source #
typeSchemeVariables :: Datum (TypeScheme -> [Name]) Source #
typeSchemeType :: Datum (TypeScheme -> Type) Source #
wrappedTerm :: Datum Name -> Datum Term -> Datum WrappedTerm Source #
wrappedTermTypeName :: Datum (WrappedTerm -> Name) Source #
wrappedTermObject :: Datum (WrappedTerm -> Term) Source #
wrappedType :: Datum Name -> Datum Type -> Datum WrappedType Source #
wrappedTypeTypeName :: Datum (WrappedType -> Name) Source #
wrappedTypeObject :: Datum (WrappedType -> Type) Source #