Data.Extensible.Product

Documentation

data a :&: b

Constructors

Prod a b

Instances

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

Methods

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

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

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

ProductClass c a => ProductClass ((:&:) c b) a

Methods

grab :: (c :&: b) -> a

stash :: a -> (c :&: b) -> c :&: b

ProductClass ((:&:) a b) b

Methods

grab :: (a :&: b) -> b

stash :: b -> (a :&: b) -> a :&: b

class ProductClass c s where

Extensible product typeclass for type

Minimal complete definition

grab, stash

Methods

grab :: c -> s

stash :: s -> c -> c

Instances

ProductClass a a

Methods

grab :: a -> a

stash :: a -> a -> a

ProductClass (a, b) b

Methods

grab :: (a, b) -> b

stash :: b -> (a, b) -> (a, b)

ProductClass (a, b) a

Methods

grab :: (a, b) -> a

stash :: a -> (a, b) -> (a, b)

ProductClass c a => ProductClass ((:&:) c b) a

Methods

grab :: (c :&: b) -> a

stash :: a -> (c :&: b) -> c :&: b

ProductClass ((:&:) a b) b

Methods

grab :: (a :&: b) -> b

stash :: b -> (a :&: b) -> a :&: b

ProductClass (a, b, c) c

Methods

grab :: (a, b, c) -> c

stash :: c -> (a, b, c) -> (a, b, c)

ProductClass (a, b, c) b

Methods

grab :: (a, b, c) -> b

stash :: b -> (a, b, c) -> (a, b, c)

ProductClass (a, b, c) a

Methods

grab :: (a, b, c) -> a

stash :: a -> (a, b, c) -> (a, b, c)

ProductClass (a, b, c, d) d

Methods

grab :: (a, b, c, d) -> d

stash :: d -> (a, b, c, d) -> (a, b, c, d)

ProductClass (a, b, c, d) c

Methods

grab :: (a, b, c, d) -> c

stash :: c -> (a, b, c, d) -> (a, b, c, d)

ProductClass (a, b, c, d) b

Methods

grab :: (a, b, c, d) -> b

stash :: b -> (a, b, c, d) -> (a, b, c, d)

ProductClass (a, b, c, d) a

Methods

grab :: (a, b, c, d) -> a

stash :: a -> (a, b, c, d) -> (a, b, c, d)

ProductClass (a, b, c, d, e) e

Methods

grab :: (a, b, c, d, e) -> e

stash :: e -> (a, b, c, d, e) -> (a, b, c, d, e)

ProductClass (a, b, c, d, e) d

Methods

grab :: (a, b, c, d, e) -> d

stash :: d -> (a, b, c, d, e) -> (a, b, c, d, e)

ProductClass (a, b, c, d, e) c

Methods

grab :: (a, b, c, d, e) -> c

stash :: c -> (a, b, c, d, e) -> (a, b, c, d, e)

ProductClass (a, b, c, d, e) b

Methods

grab :: (a, b, c, d, e) -> b

stash :: b -> (a, b, c, d, e) -> (a, b, c, d, e)

ProductClass (a, b, c, d, e) a

Methods

grab :: (a, b, c, d, e) -> a

stash :: a -> (a, b, c, d, e) -> (a, b, c, d, e)

type (:>&:) c a = ProductClass c a

Short-hand type operator for product class

prodLens :: c :>&: a => Lens' c a

Convenience lens for manipulating product

(<&) :: a -> b -> a :&: b

cons-like operator for products