purescript-bridge-0.3.0.0: Generate PureScript data types from Haskell data types

Safe Haskell	Safe
Language	Haskell2010

Language.PureScript.Bridge.SumType

Documentation

data SumType Source

Constructors

SumType TypeInfo [DataConstructor]

Instances

Show SumType Source

data DataConstructor Source

Constructors

DataConstructor
Fields sigConstructor :: !Text sigValues :: !(Either [TypeInfo] [RecordEntry])

Instances

Show DataConstructor Source

data RecordEntry Source

Constructors

RecordEntry
Fields recLabel :: !Text recValue :: !TypeInfo

Instances

Show RecordEntry Source

toSumType :: forall t. (Generic t, Typeable t, GDataConstructor (Rep t)) => Proxy t -> SumType Source

class GDataConstructor f where Source

Methods

gToConstructors :: f a -> [DataConstructor] Source

Instances

(GDataConstructor a, GDataConstructor b) => GDataConstructor ((:+:) a b) Source
(Datatype a, GDataConstructor c) => GDataConstructor (D1 a c) Source
(Constructor a, GRecordEntry b) => GDataConstructor (C1 a b) Source

class GRecordEntry f where Source

Methods

gToRecordEntries :: f a -> [RecordEntry] Source

Instances

GRecordEntry U1 Source
(GRecordEntry a, GRecordEntry b) => GRecordEntry ((:*:) a b) Source
(Selector a, Typeable * t) => GRecordEntry (S1 a (K1 R t)) Source

getUsedTypes :: SumType -> [TypeInfo] Source

constructorToType :: DataConstructor -> [TypeInfo] -> [TypeInfo] Source