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

Hydra.CoreDecoding

Description

Decoding of encoded types (as terms) back to types according to LambdaGraph's epsilon encoding

Documentation

coreDecodeFieldType :: Term -> Flow Graph FieldType Source #

coreDecodeFieldTypes :: Term -> Flow Graph [FieldType] Source #

coreDecodeFloatType :: Term -> Flow Graph FloatType Source #

coreDecodeFunctionType :: Term -> Flow Graph FunctionType Source #

coreDecodeIntegerType :: Term -> Flow Graph IntegerType Source #

coreDecodeLambdaType :: Term -> Flow Graph LambdaType Source #

coreDecodeLiteralType :: Term -> Flow Graph LiteralType Source #

coreDecodeMapType :: Term -> Flow Graph MapType Source #

coreDecodeName :: Term -> Flow Graph Name Source #

coreDecodeRowType :: Term -> Flow Graph RowType Source #

coreDecodeString :: Term -> Flow Graph String Source #

coreDecodeType :: Term -> Flow Graph Type Source #