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

Hydra.CoreEncoding

Description

Encoding of types as terms

Documentation

encodeApplication :: Ord m => Application m -> Term m Source #

encodeApplicationType :: ApplicationType m -> Term m Source #

encodeCaseStatement :: Ord m => CaseStatement m -> Term m Source #

encodeElimination :: Ord m => Elimination m -> Term m Source #

encodeField :: Ord m => Field m -> Term m Source #

encodeFieldType :: FieldType m -> Term m Source #

encodeFloatType :: FloatType -> Term m Source #

encodeFunction :: Ord m => Function m -> Term m Source #

encodeFunctionType :: FunctionType m -> Term m Source #

encodeIntegerType :: IntegerType -> Term m Source #

encodeLambda :: Ord m => Lambda m -> Term m Source #

encodeLambdaType :: LambdaType m -> Term m Source #

encodeLiteralType :: LiteralType -> Term m Source #

encodeLiteral :: Literal -> Term m Source #

encodeLiteralVariant :: LiteralVariant -> Term m Source #

encodeMapType :: MapType m -> Term m Source #

encodeNamed :: Ord m => Named m -> Term m Source #

encodeOptionalCases :: Ord m => OptionalCases m -> Term m Source #

encodeProjection :: Projection -> Term m Source #

encodeRowType :: RowType m -> Term m Source #

encodeSum :: Ord m => Sum m -> Term m Source #

encodeTerm :: Ord m => Term m -> Term m Source #

encodeType :: Type m -> Term m Source #

encodeTypeVariant :: TypeVariant -> Term m Source #