OpenSum

An open sum implementation for value types.

Documentation

data OpenSum (as :: [*]) where

Open sum of value types

Constructors

UnsafeOpenSum :: Int -> a -> OpenSum as

Instances

(Eq a, Eq (OpenSum as)) => Eq (OpenSum (a ': as))

Defined in OpenSum

Methods

(==) :: OpenSum (a ': as) -> OpenSum (a ': as) -> Bool

(/=) :: OpenSum (a ': as) -> OpenSum (a ': as) -> Bool

Eq (OpenSum ('[] :: [Type]))

Defined in OpenSum

Methods

(==) :: OpenSum '[] -> OpenSum '[] -> Bool

(/=) :: OpenSum '[] -> OpenSum '[] -> Bool

Show a => Show (OpenSum '[a])

Defined in OpenSum

Methods

showsPrec :: Int -> OpenSum '[a] -> ShowS

show :: OpenSum '[a] -> String

showList :: [OpenSum '[a]] -> ShowS

(Show a, Show (OpenSum as)) => Show (OpenSum (a ': as))

Defined in OpenSum

Methods

showsPrec :: Int -> OpenSum (a ': as) -> ShowS

show :: OpenSum (a ': as) -> String

showList :: [OpenSum (a ': as)] -> ShowS

class FindElem a as => Member (a :: *) (as :: [*]) where

Safely inject and project a value into an open sum

Methods

inj :: a -> OpenSum as

prj :: OpenSum as -> Maybe a

Instances

FindElem a as => Member a as

Defined in OpenSum

Methods

inj :: a -> OpenSum as

prj :: OpenSum as -> Maybe a

(Typeable a, a ~ a') => Member a '[a']

Defined in OpenSum

Methods

inj :: a -> OpenSum '[a']

prj :: OpenSum '[a'] -> Maybe a