TypeParameters.hs

-- | As we translate types and not type constructors, we have to pass dummy types
--   to any type constructor.
--
--   'buildBridge' will translate all parameter types which
--   come from a module TypeParameters (e.g. this one) to lower case.
--
--   For translating something like Maybe:
--
--   @
--     data Maybe' a = Nothing' | Just' a
--   @
--
--   you would use:
--
--   @
--     import "Language.PureScript.Bridge"
--     import "Language.PureScript.Bridge.TypeParameters"
--
--     st = mkSumType ('Proxy' :: 'Proxy' (Maybe' A)) -- Note that we use "Maybe' A" instead of just Maybe - which would not work.
--   @

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:
--   @
--   st = mkSumType (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