| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
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.
- 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
- 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
Documentation
You can use those if your type parameters are actually type constructors as well:
toSumType (Proxy :: Proxy (ReaderT R M1 A))