Module

LabeledData.VariantLike.Generic

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

#GenericVariantLike Source

class GenericVariantLike :: forall k. k -> Type -> Row Type -> Constraintclass GenericVariantLike tok a r | a -> r where

Members

Instances

#RepVariantLike Source

class RepVariantLike :: forall k. k -> Type -> Row Type -> Constraintclass RepVariantLike tok rep r | rep -> r where

Members

Instances

#genericFromVariant' Source

genericFromVariant' :: forall tok a r. GenericVariantLike tok a r => tok -> Proxy (Variant r) -> Proxy a

#genericToVariant' Source

genericToVariant' :: forall tok a r. GenericVariantLike tok a r => tok -> Proxy a -> Proxy (Variant r)