:> | Data.OpenUnion1.Clean |
Empty | Data.OpenUnion1.Clean |
exhaust | Data.OpenUnion1.Clean |
Exhausted | Data.OpenUnion1.Clean |
hoistU | Data.OpenUnion1.Clean |
Include | Data.OpenUnion1.Clean |
liftU | Data.OpenUnion1.Clean |
List | Data.OpenUnion1.Clean |
Member | Data.OpenUnion1.Clean |
Nil | Data.OpenUnion1.Clean |
picked | Data.OpenUnion1.Clean |
retractU | Data.OpenUnion1.Clean |
reunion | Data.OpenUnion1.Clean |
simply | Data.OpenUnion1.Clean |
Single | Data.OpenUnion1.Clean |
Union | |
1 (Type/Class) | Data.OpenUnion1.Clean |
2 (Data Constructor) | Data.OpenUnion1.Clean |
|> | Data.OpenUnion1.Clean |
||> | Data.OpenUnion1.Clean |
∈ | Data.OpenUnion1.Clean |
⊆ | Data.OpenUnion1.Clean |