Module
Data.UntaggedToTagged.Tagged
- Package
- purescript-untagged-to-tagged
- Repository
- sigma-andex/purescript-untagged-to-tagged
#TaggedHelper Source
class TaggedHelper taggedGen untagged | taggedGen -> untagged where
Members
fromTaggedHelper :: taggedGen -> untagged
Instances
(InOneOf r l r) => TaggedHelper (Sum (Constructor syml (Argument l)) (Constructor symr (Argument r))) (OneOf l r)
(InOneOf (OneOf ln rn) l (OneOf ln rn), TaggedHelper next (OneOf ln rn)) => TaggedHelper (Sum (Constructor sym (Argument l)) next) (OneOf l (OneOf ln rn))
#Tagged Source
class Tagged tagged untagged where
Members
fromTagged :: tagged -> untagged
Instances
(Generic tagged taggedGen, TaggedHelper taggedGen untagged) => Tagged tagged untagged
Convert a tagged union to an untagged union. E.g.