| Safe Haskell | Safe-Inferred |
|---|
Game.Antisplice.Utils.Hetero
Documentation
The Cons type for a heterogenous list
Constructors
| :-: a b |
Instances
| PostMask Pass a (Cons a Nil) | |
| CallMask CatchObj (Cons (Titled ObjectState) Nil) | |
| CallMask Remaining (Cons [String] Nil) | |
| CallMask CatchOrd (Cons Int Nil) | |
| CallMask CatchToken (Cons Token Nil) | |
| CallMask CatchByType (Cons String Nil) | |
| Tuplify a ar => Tuplify (Cons a Nil) ar | |
| (CallMask x r, CallMask xs rs, Append r rs rx) => CallMask (Cons x xs) rx | |
| Append b c bc => Append (Cons a b) c (Cons a bc) | |
| PostMask (a -> b) a (Cons b Nil) | |
| PostMask (a -> b) (Titled a) (Cons b Nil) | |
| (Tuplify a ar, Tuplify b br) => Tuplify (Cons a (Cons b Nil)) (ar, br) | |
| IntoMaybe (Cons a as) (Cons (Maybe (Cons a as)) Nil) | |
| (PredMask r i, PredMask rs is) => PredMask (Cons r rs) (Cons i is) | |
| (PostMask m i r, PostMask ms is rs, Append r rs rx) => PostMask (Cons m ms) (Cons i is) rx | |
| (CombiMask m i p po, CombiMask ms is ps pos) => CombiMask (Cons m ms) (Cons i is) (Cons p ps) (Cons po pos) | |
| (Tuplify a ar, Tuplify b br, Tuplify c cr) => Tuplify (Cons a (Cons b (Cons c Nil))) (ar, br, cr) | |
| (Tuplify a ar, Tuplify b br, Tuplify c cr, Tuplify d dr) => Tuplify (Cons a (Cons b (Cons c (Cons d Nil)))) (ar, br, cr, dr) | |
| (Tuplify a ar, Tuplify b br, Tuplify c cr, Tuplify d dr, Tuplify e er) => Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e Nil))))) (ar, br, cr, dr, er) | |
| (Tuplify a ar, Tuplify b br, Tuplify c cr, Tuplify d dr, Tuplify e er, Tuplify f fr) => Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil)))))) (ar, br, cr, dr, er, fr) |
The empty list
Constructors
| Nil |
Instances
class Append a b ab | a b -> ab whereSource
Typeclass for appending one heterogenous list to another one
class Tuplify l t | l -> t whereSource
Typeclass for everything that may be converted to a tuple
Instances