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

Hydra.CoreDecoding

Documentation

decodeLiteralType :: Show m => Term m -> GraphFlow m LiteralType Source #

decodeFieldType :: Show m => Term m -> GraphFlow m (FieldType m) Source #

decodeFieldTypes :: Show m => Term m -> GraphFlow m [FieldType m] Source #

decodeFloatType :: Show m => Term m -> GraphFlow m FloatType Source #

decodeFunctionType :: Show m => Term m -> GraphFlow m (FunctionType m) Source #

decodeIntegerType :: Show m => Term m -> GraphFlow m IntegerType Source #

decodeMapType :: Show m => Term m -> GraphFlow m (MapType m) Source #

decodeRowType :: Show m => Term m -> GraphFlow m (RowType m) Source #

decodeString :: Show m => Term m -> GraphFlow m String Source #

decodeType :: Show m => Term m -> GraphFlow m (Type m) Source #

decodeLambdaType :: Show m => Term m -> GraphFlow m (LambdaType m) Source #

elementAsTypedTerm :: Show m => Element m -> GraphFlow m (TypedTerm m) Source #

fieldTypes :: Show m => Type m -> GraphFlow m (Map FieldName (Type m)) Source #

requireRecordType :: Show m => Bool -> Name -> GraphFlow m (RowType m) Source #

requireType :: Show m => Name -> GraphFlow m (Type m) Source #

requireUnionType :: Show m => Bool -> Name -> GraphFlow m (RowType m) Source #

typeDependencies :: Show m => Name -> GraphFlow m (Map Name (Type m)) Source #

typeDependencyNames :: Type m -> Set Name Source #