purescript-bridge-0.3.1.1: Generate PureScript data types from Haskell data types

Safe HaskellSafe
LanguageHaskell2010

Language.PureScript.Bridge.TypeInfo

Synopsis

Documentation

type TypeBridge = TypeInfo -> Maybe TypeInfo Source

Translates a Haskell type info to a PureScript type info:

data TypeInfo Source

Basic info about a data type:

Constructors

TypeInfo 

Fields

typePackage :: !Text

Hackage package

typeModule :: !Text

Full Module path

typeName :: !Text
 
typeParameters :: ![TypeInfo]
 

Instances

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

mkBridgeTo :: (TypeInfo -> Bool) -> TypeInfo -> TypeBridge Source

Helper for simple bridge creation for basic types

mkBridgeTo1 :: (TypeInfo -> Bool) -> (TypeInfo -> TypeInfo) -> TypeBridge Source

Helper for simple bridge creation for type constructors