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

Instances

#Tagged Source

class Tagged tagged untagged  where

Members

  • fromTagged :: tagged -> untagged

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

    data IST = IT Int | ST String 
    derive instance Generic IST _ 
    
    type ISU = Int |+| String 
    
    ist :: IST
    ist = ST "Wurst"
    
    isu :: ISU 
    isu = fromTagged ist
    -- asOneOf "Wurst"
    

Instances