Module

LabeledData.VariantLike.Class

Package: purescript-labeled-data
Repository: thought2/purescript-labeled-data

#DefaultTransform Source

type DefaultTransform = LowerFirst /\ SingleField /\ (ArgsToRecord NoTransform)

#VariantLike Source

class VariantLike :: Type -> Row Type -> Constraintclass VariantLike a r | a -> r where

Members

toVariant :: a -> Variant r
fromVariant :: Variant r -> a

Instances

VariantLike (Variant r) r
(GenericVariantLike DefaultTransform (Tuple a b) r) => VariantLike (Tuple a b) r
VariantLike Boolean BooleanRow
(GenericVariantLike DefaultTransform (Either a b) (EitherRow a b)) => VariantLike (Either a b) (EitherRow a b)
(GenericVariantLike DefaultTransform (Maybe a) (MaybeRow a)) => VariantLike (Maybe a) (MaybeRow a)

#BooleanRow Source

type BooleanRow :: Row Typetype BooleanRow = (false :: Unit, true :: Unit)

Instances

VariantLike Boolean BooleanRow

#BooleanV Source

type BooleanV = Variant BooleanRow

#EitherRow Source

type EitherRow :: Type -> Type -> Row Typetype EitherRow a b = (left :: a, right :: b)

Instances

(GenericVariantLike DefaultTransform (Either a b) (EitherRow a b)) => VariantLike (Either a b) (EitherRow a b)

#EitherV Source

type EitherV a b = Variant (EitherRow a b)

#MaybeRow Source

type MaybeRow :: Type -> Row Typetype MaybeRow a = (just :: a, nothing :: Unit)

Instances

(GenericVariantLike DefaultTransform (Maybe a) (MaybeRow a)) => VariantLike (Maybe a) (MaybeRow a)

#MaybeV Source

type MaybeV a = Variant (MaybeRow a)

Modules: LabeledData.RecordLike.Class; LabeledData.RecordLike.Generic; LabeledData.TransformEntry; LabeledData.TransformEntry.Transforms; LabeledData.VariantLike.Class; LabeledData.VariantLike.Generic