Data.OpenUnion

Classes

class Member t r

Monad transformer related

class SetMember set t r

Type-indexed co-product

Datatypes

data Union r v

data a :> b

Functions

inj

prj

prjForce

decomp

unsafeReUnion

weaken