-- | 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 'Language.PureScript.Bridge' -- | import 'Language.PureScript.Bridge.TypeParameters' -- | toSumType (Proxy :: Proxy (Maybe A)) -- Note the capital A, which comes from the TypeParameters module. -- | @ module Language.PureScript.Bridge.TypeParameters where data A data B data C data D data E data F data G data H data I data J data K data L data M data N data O data P data Q data R data S data T data U data V data W data X data Y data Z -- | You can use those if your type parameters are actually type constructors as well: -- | @ -- | toSumType (Proxy :: Proxy ('ReaderT' R M1 A)) -- | @ data A1 a data B1 a data C1 a data D1 a data E1 a data F1 a data G1 a data H1 a data I1 a data J1 a data K1 a data L1 a data M1 a data N1 a data O1 a data P1 a data Q1 a data R1 a data S1 a data T1 a data U1 a data V1 a data W1 a data X1 a data Y1 a data Z1 a