Data.Has

Documentation

data a :*: b

Constructors

a :*: b

Instances

Has e r => Has e (:*: b r)

Has e (:*: e r)

(Bounded a, Bounded b) => Bounded (:*: a b)

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

(Ord a, Ord b) => Ord (:*: a b)

(Read a, Read b) => Read (:*: a b)

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

class Has e s where

Methods

inj :: e -> s -> s

prj :: s -> e

Instances

Has e e

Has e r => Has e (:*: b r)

Has e (:*: e r)

upd :: Has e s => (e -> e) -> s -> s