| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Language.PureScript.Bridge.TypeInfo
- type TypeBridge = TypeInfo -> Maybe TypeInfo
- data TypeInfo = TypeInfo {
- typePackage :: !Text
- typeModule :: !Text
- typeName :: !Text
- typeParameters :: ![TypeInfo]
- mkTypeInfo :: Typeable t => Proxy t -> TypeInfo
- mkTypeInfo' :: TypeRep -> TypeInfo
- flattenTypeInfo :: TypeInfo -> [TypeInfo]
- eqTypeName :: Text -> TypeInfo -> Bool
Documentation
type TypeBridge = TypeInfo -> Maybe TypeInfo Source
Translates a Haskell type info to a PureScript type info:
Basic info about a data type:
Constructors
| TypeInfo | |
Fields
| |
mkTypeInfo :: Typeable t => Proxy t -> TypeInfo Source
mkTypeInfo' :: TypeRep -> TypeInfo Source
flattenTypeInfo :: TypeInfo -> [TypeInfo] Source
Put the TypeInfo in a list together with all its typeParameters (recursively)
eqTypeName :: Text -> TypeInfo -> Bool Source
Little helper for type bridge implementers