Data.Extensible.Sum

Documentation

data a :|: b

Constructors

DataL a

DataR b

Instances

(Eq b, Eq a) => Eq ((:|:) a b)

Methods

(==) :: (a :|: b) -> (a :|: b) -> Bool

(/=) :: (a :|: b) -> (a :|: b) -> Bool

(Show b, Show a) => Show ((:|:) a b)

Methods

showsPrec :: Int -> (a :|: b) -> ShowS

show :: (a :|: b) -> String

showList :: [a :|: b] -> ShowS

SumClass c a => SumClass ((:|:) c b) a

Methods

peek :: (c :|: b) -> Maybe a

lft :: a -> c :|: b

SumClass ((:|:) a b) b

Methods

peek :: (a :|: b) -> Maybe b

lft :: b -> a :|: b

class SumClass c s where

Minimal complete definition

peek, lft

Methods

peek :: c -> Maybe s

lft :: s -> c

Instances

SumClass a a

Methods

peek :: a -> Maybe a

lft :: a -> a

SumClass (Maybe a) a

Methods

peek :: Maybe a -> Maybe a

lft :: a -> Maybe a

SumClass (Either a b) a

Methods

peek :: Either a b -> Maybe a

lft :: a -> Either a b

SumClass c a => SumClass ((:|:) c b) a

Methods

peek :: (c :|: b) -> Maybe a

lft :: a -> c :|: b

SumClass ((:|:) a b) b

Methods

peek :: (a :|: b) -> Maybe b

lft :: b -> a :|: b

type (:>|:) w a = SumClass w a

sumPrism :: w :>|: a => Prism' w a