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

Safe HaskellSafe
LanguageHaskell2010

Language.PureScript.Bridge.TypeParameters

Description

As we translate types and not type constructors, we have to pass dummy types to any type constructor. doBridge will translate all parameter types which come from a module TypeParameters (e.g. this one) to lower case. E.g. for translating something like Maybe: data Maybe' a = Nothing' | Just' a you would use: import Bridge import TypeParameters toSumType (Proxy :: Proxy (Maybe A)) -- Note the capital A, which comes from the TypeParameters module.

Synopsis

Documentation

data A Source

data B Source

data C Source

data D Source

data E Source

data F Source

data G Source

data H Source

data I Source

data J Source

data K Source

data L Source

data M Source

data N Source

data O Source

data P Source

data Q Source

data R Source

data S Source

data T Source

data U Source

data V Source

data W Source

data X Source

data Y Source

data Z Source

data A1 a Source

You can use those if your type parameters are actually type constructors as well: toSumType (Proxy :: Proxy (ReaderT R M1 A))

data B1 a Source

data C1 a Source

data D1 a Source

data E1 a Source

data F1 a Source

data G1 a Source

data H1 a Source

data I1 a Source

data J1 a Source

data K1 a Source

data L1 a Source

data M1 a Source

data N1 a Source

data O1 a Source

data P1 a Source

data Q1 a Source

data R1 a Source

data S1 a Source

data T1 a Source

data U1 a Source

data V1 a Source

data W1 a Source

data X1 a Source

data Y1 a Source

data Z1 a Source