Language.PureScript.Bridge.TypeParameters

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. |

Documentation

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

You can use those if your type parameters are actually type constructors as well: | | toSumType (Proxy :: Proxy (ReaderT R M1 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