Language.PureScript.Bridge.SumType

Documentation

data SumType lang

Generic representation of your Haskell types.

Constructors

SumType (TypeInfo lang) [DataConstructor lang]

Instances

Eq (SumType lang)

Methods

(==) :: SumType lang -> SumType lang -> Bool

(/=) :: SumType lang -> SumType lang -> Bool

Show (SumType lang)

Methods

showsPrec :: Int -> SumType lang -> ShowS

show :: SumType lang -> String

showList :: [SumType lang] -> ShowS

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

Create a representation of your sum (and product) types, for doing type translations and writing it out to your PureScript modules. In order to get the type information we use a dummy variable of type Proxy (YourType).

data DataConstructor lang

Constructors

DataConstructor

Fields

• _sigConstructor :: !Text

  e.g. Left/Right for Either

• _sigValues :: !(Either [TypeInfo lang] [RecordEntry lang])

Instances

Eq (DataConstructor lang)

Methods

(==) :: DataConstructor lang -> DataConstructor lang -> Bool

(/=) :: DataConstructor lang -> DataConstructor lang -> Bool

Show (DataConstructor lang)

Methods

showsPrec :: Int -> DataConstructor lang -> ShowS

show :: DataConstructor lang -> String

showList :: [DataConstructor lang] -> ShowS

data RecordEntry lang

Constructors

RecordEntry

Fields

• _recLabel :: !Text

  e.g. runState for State

• _recValue :: !(TypeInfo lang)

Instances

Eq (RecordEntry lang)

Methods

(==) :: RecordEntry lang -> RecordEntry lang -> Bool

(/=) :: RecordEntry lang -> RecordEntry lang -> Bool

Show (RecordEntry lang)

Methods

showsPrec :: Int -> RecordEntry lang -> ShowS

show :: RecordEntry lang -> String

showList :: [RecordEntry lang] -> ShowS

getUsedTypes :: SumType lang -> Set (TypeInfo lang)

Get all used types in a sum type.

This includes all types found at the right hand side of a sum type definition, not the type parameters of the sum type itself

constructorToTypes :: DataConstructor lang -> Set (TypeInfo lang) -> Set (TypeInfo lang)

sigConstructor :: forall lang. Lens' (DataConstructor lang) Text

sigValues :: forall lang lang. Lens (DataConstructor lang) (DataConstructor lang) (Either [TypeInfo lang] [RecordEntry lang]) (Either [TypeInfo lang] [RecordEntry lang])

sumTypeInfo :: Functor f => (TypeInfo lang -> f (TypeInfo lang)) -> SumType lang -> f (SumType lang)

TypInfo lens for SumType.

sumTypeConstructors :: Functor f => ([DataConstructor lang] -> f [DataConstructor lang]) -> SumType lang -> f (SumType lang)

DataConstructor lens for SumType.

recLabel :: forall lang. Lens' (RecordEntry lang) Text

recValue :: forall lang lang. Lens (RecordEntry lang) (RecordEntry lang) (TypeInfo lang) (TypeInfo lang)