Data.OpenUnion1.Clean

Basic types and classes

data family Union s a

type Nil

type family f |> s :: * -> *

data List a

class f ∈ s

type Member f s

Construction

liftU

Transformation

class s ⊆ t

type Include s t

class Pick f s

hoistU

Destruction

(||>)

exhaust

simply

retractU