purescript-bridge-0.11.0.0: 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.

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.
  

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