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

Hydra.Impl.Haskell.Sources.Basics

Documentation

basicsNs :: Namespace Source #

basics :: String -> Datum a -> Definition a Source #

hydraBasicsModule :: Module Meta Source #

eliminationVariantSource :: Definition (Elimination m -> EliminationVariant) Source #

eliminationVariantsSource :: Definition [EliminationVariant] Source #

floatTypePrecisionSource :: Definition (FloatType -> Precision) Source #

floatTypesSource :: Definition [FloatType] Source #

floatValueTypeSource :: Definition (FloatValue -> FloatType) Source #

functionVariantSource :: Definition (Function m -> FunctionVariant) Source #

functionVariantsSource :: Definition [FunctionVariant] Source #

integerTypeIsSignedSource :: Definition (IntegerType -> Bool) Source #

integerTypePrecisionSource :: Definition (IntegerType -> Precision) Source #

integerTypesSource :: Definition [IntegerType] Source #

integerValueTypeSource :: Definition (IntegerValue -> IntegerType) Source #

literalTypeSource :: Definition (Literal -> LiteralType) Source #

literalTypeVariantSource :: Definition (LiteralType -> LiteralVariant) Source #

literalVariantSource :: Definition (Literal -> LiteralVariant) Source #

literalVariantsSource :: Definition [LiteralVariant] Source #

qnameSource :: Definition (Namespace -> String -> Name) Source #

termVariantSource :: Definition (Term m -> TermVariant) Source #

termVariantsSource :: Definition [TermVariant] Source #

testListsSource :: Definition ([[a]] -> Int) Source #

typeVariantSource :: Definition (Type m -> TypeVariant) Source #

typeVariantsSource :: Definition [TypeVariant] Source #