Jordan.Generic.Options

Documentation

data SumTypeEncoding

Constructors

TagVal

TagInField

Instances

Bounded SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

minBound :: SumTypeEncoding

maxBound :: SumTypeEncoding

Enum SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

succ :: SumTypeEncoding -> SumTypeEncoding

pred :: SumTypeEncoding -> SumTypeEncoding

toEnum :: Int -> SumTypeEncoding

fromEnum :: SumTypeEncoding -> Int

enumFrom :: SumTypeEncoding -> [SumTypeEncoding]

enumFromThen :: SumTypeEncoding -> SumTypeEncoding -> [SumTypeEncoding]

enumFromTo :: SumTypeEncoding -> SumTypeEncoding -> [SumTypeEncoding]

enumFromThenTo :: SumTypeEncoding -> SumTypeEncoding -> SumTypeEncoding -> [SumTypeEncoding]

Eq SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

(==) :: SumTypeEncoding -> SumTypeEncoding -> Bool

(/=) :: SumTypeEncoding -> SumTypeEncoding -> Bool

Ord SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

compare :: SumTypeEncoding -> SumTypeEncoding -> Ordering

(<) :: SumTypeEncoding -> SumTypeEncoding -> Bool

(<=) :: SumTypeEncoding -> SumTypeEncoding -> Bool

(>) :: SumTypeEncoding -> SumTypeEncoding -> Bool

(>=) :: SumTypeEncoding -> SumTypeEncoding -> Bool

max :: SumTypeEncoding -> SumTypeEncoding -> SumTypeEncoding

min :: SumTypeEncoding -> SumTypeEncoding -> SumTypeEncoding

Read SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

readsPrec :: Int -> ReadS SumTypeEncoding

readList :: ReadS [SumTypeEncoding]

readPrec :: ReadPrec SumTypeEncoding

readListPrec :: ReadPrec [SumTypeEncoding]

Show SumTypeEncoding

Defined in Jordan.Generic.Options

Methods

showsPrec :: Int -> SumTypeEncoding -> ShowS

show :: SumTypeEncoding -> String

showList :: [SumTypeEncoding] -> ShowS

Generic SumTypeEncoding

Defined in Jordan.Generic.Options

Associated Types

type Rep SumTypeEncoding :: Type -> Type

Methods

from :: SumTypeEncoding -> Rep SumTypeEncoding x

to :: Rep SumTypeEncoding x -> SumTypeEncoding

type Rep SumTypeEncoding

Defined in Jordan.Generic.Options

type Rep SumTypeEncoding = D1 ('MetaData "SumTypeEncoding" "Jordan.Generic.Options" "jordan-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TagVal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TagInField" 'PrefixI 'False) (U1 :: Type -> Type))

newtype PartOfSum f a

Constructors

PartOfSum

Fields

• getPartOfSum :: f a

Instances

(GFromJSON (PartOfSum l), GFromJSON (PartOfSum r)) => GFromJSON (PartOfSum (l :+: r))

Defined in Jordan.FromJSON.Class

Methods

gFromJSON :: JSONParser f => FromJSONOptions -> f (PartOfSum (l :+: r) a)

(GFromJSON (C1 t f), Constructor t) => GFromJSON (PartOfSum (C1 t f))

Defined in Jordan.FromJSON.Class

Methods

gFromJSON :: JSONParser f0 => FromJSONOptions -> f0 (PartOfSum (C1 t f) a)

Constructor t => GFromJSON (PartOfSum (C1 t (U1 :: Type -> Type)))

Defined in Jordan.FromJSON.Class

Methods

gFromJSON :: JSONParser f => FromJSONOptions -> f (PartOfSum (C1 t U1) a)

(GToJSON (PartOfSum l), GToJSON (PartOfSum r)) => GToJSON (PartOfSum (l :+: r))

Defined in Jordan.ToJSON.Class

Methods

gToJSON :: JSONSerializer s => ToJSONOptions -> s (PartOfSum (l :+: r) a)

(Constructor t, GToJSON (C1 t f)) => GToJSON (PartOfSum (C1 t f))

Defined in Jordan.ToJSON.Class

Methods

gToJSON :: JSONSerializer s => ToJSONOptions -> s (PartOfSum (C1 t f) a)

Constructor t => GToJSON (PartOfSum (C1 t (U1 :: Type -> Type)))

Defined in Jordan.ToJSON.Class

Methods

gToJSON :: JSONSerializer s => ToJSONOptions -> s (PartOfSum (C1 t U1) a)