Data.TaggedSum.Internal

data Any :: Type

newtype TaggedSum (r :: Row Type)

A sum type, whose tag is one of the labels in the row r, with a value of the corresponding type.

Constructors

• TaggedSum { contents :: Any, tag :: String }

Instances

• (RowToList r rl, DecodeHelper r rl) => Decode (TaggedSum r)
• (RowToList r rl, EncodeHelper r rl) => Encode (TaggedSum r)

getTag :: forall r. TaggedSum r -> String

Get the tag for a TaggedSum.

case_ :: forall r a t s. Prism s t a Void -> (a -> r) -> (t -> r) -> s -> r

Match a particular tag using a Prism.

See match.

class AllVoid (rl :: RowList) 

Instances

• AllVoid Nil
• (AllVoid rl) => AllVoid (Cons l Void rl)

match :: forall x rl r. RowToList r rl => AllVoid rl => TaggedSum r -> x

Pattern match an empty variant, once all possible tags have been handled using case_.

For example:

x :: TaggedSum (foo :: Int, bar :: Char)
x = review (tag (SProxy :: SProxy "foo")) 42

f :: TaggedSum (foo :: Int, bar :: Char) -> String
f = match
  # case_ (tag (SProxy :: SProxy "foo")) show
  # case_ (tag (SProxy :: SProxy "bar")) show

> f x
"42"

tag :: forall r_ b a t s tag. IsSymbol tag => Cons tag a r_ s => Cons tag b r_ t => SProxy tag -> Prism (TaggedSum s) (TaggedSum t) a b

Create a Prism for accessing a specific tag.

tag_ :: forall r_ r a tag. IsSymbol tag => Cons tag a r_ r => SProxy tag -> Prism' (TaggedSum r) a

A simpler, non-type changing Prism, which might make type inference possible in some cases.

cotag :: forall a t_ s_ t s tag. IsSymbol tag => Cons tag a s_ s => Cons tag a t_ t => SProxy tag -> Prism (TaggedSum s) (TaggedSum t) (TaggedSum s_) (TaggedSum t_)

Create a Prism for accessing the complement of a specific tag.

cotag_ :: forall r_ r a tag. IsSymbol tag => Cons tag a r_ r => SProxy tag -> Prism' (TaggedSum r) (TaggedSum r_)

A simpler, non-type changing Prism, which might make type inference possible in some cases.

class DecodeHelper (r :: Row Type) (rl :: RowList) | rl -> r where

Members

• decodeHelper :: RLProxy rl -> { contents :: Foreign, tag :: String } -> F (TaggedSum r)

Instances

• DecodeHelper () Nil
• (IsSymbol l, DecodeHelper r_ rl, Decode a, Cons l a r_ r) => DecodeHelper r (Cons l a rl)

class EncodeHelper (r :: Row Type) (rl :: RowList) | rl -> r where

Members

• encodeHelper :: RLProxy rl -> TaggedSum r -> { contents :: Foreign, tag :: String }

Instances

• (RowToList r rl, AllVoid rl) => EncodeHelper r Nil
• (IsSymbol l, EncodeHelper r__ rl, Encode a, Cons l a r_ r, Cons l Void r_ r__) => EncodeHelper r (Cons l a rl)