Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data EitherType w1 w2 t Source #
Instances
eitherAllOf :: AllOf sel1 -> AllOf sel2 -> AllOf (EitherType sel1 sel2) Source #
eitherAllFor :: AllFor f sel1 -> AllFor f sel2 -> AllFor f (EitherType sel1 sel2) Source #
type ConsType a = EitherType (SingleType a) Source #