Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.CoreDecoding
Description
Decoding of encoded types (as terms) back to types according to LambdaGraph's epsilon encoding
Synopsis
- coreDecodeFieldType :: Term -> Flow Graph FieldType
- coreDecodeFieldTypes :: Term -> Flow Graph [FieldType]
- coreDecodeFloatType :: Term -> Flow Graph FloatType
- coreDecodeFunctionType :: Term -> Flow Graph FunctionType
- coreDecodeIntegerType :: Term -> Flow Graph IntegerType
- coreDecodeLambdaType :: Term -> Flow Graph LambdaType
- coreDecodeLiteralType :: Term -> Flow Graph LiteralType
- coreDecodeMapType :: Term -> Flow Graph MapType
- coreDecodeName :: Term -> Flow Graph Name
- coreDecodeRowType :: Term -> Flow Graph RowType
- coreDecodeString :: Term -> Flow Graph String
- coreDecodeType :: Term -> Flow Graph Type
- dereferenceType :: Name -> Flow Graph (Maybe Type)
- elementAsTypedTerm :: Element -> Flow Graph TypedTerm
- fieldTypes :: Type -> Flow Graph (Map Name Type)
- fullyStripTerm :: Term -> Term
- isSerializable :: Element -> Flow Graph Bool
- moduleDependencyNamespaces :: Bool -> Bool -> Bool -> Bool -> Module -> Flow Graph (Set Namespace)
- requireRecordType :: Bool -> Name -> Flow Graph RowType
- requireType :: Name -> Flow Graph Type
- requireUnionType :: Bool -> Name -> Flow Graph RowType
- requireWrappedType :: Name -> Flow Graph Type
- resolveType :: Type -> Flow Graph (Maybe Type)
- typeDependencies :: Name -> Flow Graph (Map Name Type)
- typeDependencyNames :: Type -> Set Name