more-extensible-effects-0.1.0.3: Initial project template from stack
Data.OpenUnion
data Union r v Source #
inj :: Member t r => t v -> Union r v Source #
prj :: Member t r => Union r v -> Maybe (t v) Source #
decomp :: Union (t ': r) v -> Either (Union r v) (t v) Source #
class KnownNat (FindElem t r) => Member t r where Source #
Minimal complete definition
inj, prj
Methods
inj :: t v -> Union r v Source #
prj :: Union r v -> Maybe (t v) Source #
Instances
inj :: t v -> Union * r v Source #
prj :: Union * r v -> Maybe (t v) Source #
class Member t r => MemberU2 tag t r | tag r -> t Source #
weaken :: Union r w -> Union (any ': r) w Source #