Module

Data.UntaggedToTagged.Untagged

Package: purescript-untagged-to-tagged
Repository: sigma-andex/purescript-untagged-to-tagged

#UntaggedHelper Source

class UntaggedHelper untagged tagged | untagged -> tagged where

Members

toTaggedHelper :: untagged -> tagged

Instances

(HasRuntimeType l, UntaggedHelper (OneOf ln rn) next) => UntaggedHelper (OneOf l (OneOf ln rn)) (Sum (Constructor sym (Argument l)) next)
(HasRuntimeType l) => UntaggedHelper (OneOf l r) (Sum (Constructor syml (Argument l)) (Constructor symr (Argument r)))

#Untagged Source

class Untagged untagged tagged  where

Members

toTagged :: untagged -> tagged

Convert an untagged union to a tagged union. E.g.

type ISU = Int |+| String 

data IST = IT Int | ST String 
derive instance Generic IST _ 

isu :: ISU
isu = asOneOf "Wurst"

ist :: IST 
ist = toTagged isu
-- (ST "Wurst")

Instances

(Generic tagged taggedGen, UntaggedHelper untagged taggedGen) => Untagged untagged tagged

Modules: Data.UntaggedToTagged.Tagged; Data.UntaggedToTagged.Untagged