Data.Chatty.Hetero

Documentation

data Cons a b

The Cons type for a heterogenous list

Constructors

(:-:) a b infixr 9

Instances

Tuplify a ar => Tuplify (Cons a Nil) ar

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a Nil -> ar

Append b c bc => Append (Cons a b) c (Cons a bc)

Defined in Data.Chatty.Hetero

Methods

tappend :: Cons a b -> c -> Cons a bc

(Tuplify a ar, Tuplify b br) => Tuplify (Cons a (Cons b Nil)) (ar, br)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b Nil) -> (ar, br)

IntoMaybe (Cons a as) (Cons (Maybe (Cons a as)) Nil)

Defined in Data.Chatty.Hetero

Methods

tjust :: Cons a as -> Cons (Maybe (Cons a as)) Nil

tnothing :: Cons a as -> Cons (Maybe (Cons a as)) Nil

(Tuplify a ar, Tuplify b br, Tuplify c cr) => Tuplify (Cons a (Cons b (Cons c Nil))) (ar, br, cr)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil))))) -> (ar, br, cr, dr, er, fr)

data Nil

The empty list

Constructors

Nil

Instances

Tuplify Nil ()

Defined in Data.Chatty.Hetero

Methods

tuplify :: Nil -> ()

IntoMaybe Nil Nil

Defined in Data.Chatty.Hetero

Methods

tjust :: Nil -> Nil

tnothing :: Nil -> Nil

Append Nil b b

Defined in Data.Chatty.Hetero

Methods

tappend :: Nil -> b -> b

Tuplify a ar => Tuplify (Cons a Nil) ar

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a Nil -> ar

(Tuplify a ar, Tuplify b br) => Tuplify (Cons a (Cons b Nil)) (ar, br)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b Nil) -> (ar, br)

IntoMaybe (Cons a as) (Cons (Maybe (Cons a as)) Nil)

Defined in Data.Chatty.Hetero

Methods

tjust :: Cons a as -> Cons (Maybe (Cons a as)) Nil

tnothing :: Cons a as -> Cons (Maybe (Cons a as)) Nil

(Tuplify a ar, Tuplify b br, Tuplify c cr) => Tuplify (Cons a (Cons b (Cons c Nil))) (ar, br, cr)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil))))) -> (ar, br, cr, dr, er, fr)

class Append a b ab | a b -> ab where

Typeclass for appending one heterogenous list to another one

Methods

tappend :: a -> b -> ab

Instances

Append Nil b b

Defined in Data.Chatty.Hetero

Methods

tappend :: Nil -> b -> b

Append b c bc => Append (Cons a b) c (Cons a bc)

Defined in Data.Chatty.Hetero

Methods

tappend :: Cons a b -> c -> Cons a bc

class IntoMaybe a ar | a -> ar where

Typeclass for wrapping a heterogenous list into a Maybe on demand

Methods

tjust :: a -> ar

tnothing :: a -> ar

Instances

IntoMaybe Nil Nil

Defined in Data.Chatty.Hetero

Methods

tjust :: Nil -> Nil

tnothing :: Nil -> Nil

IntoMaybe (Cons a as) (Cons (Maybe (Cons a as)) Nil)

Defined in Data.Chatty.Hetero

Methods

tjust :: Cons a as -> Cons (Maybe (Cons a as)) Nil

tnothing :: Cons a as -> Cons (Maybe (Cons a as)) Nil

class Tuplify l t | l -> t where

Typeclass for everything that may be converted to a tuple

Methods

tuplify :: l -> t

Instances

Tuplify Char Char

Defined in Data.Chatty.Hetero

Methods

tuplify :: Char -> Char

Tuplify Int Int

Defined in Data.Chatty.Hetero

Methods

tuplify :: Int -> Int

Tuplify Nil ()

Defined in Data.Chatty.Hetero

Methods

tuplify :: Nil -> ()

Tuplify a ar => Tuplify (Titled a) ar

Defined in Data.Chatty.Hetero

Methods

tuplify :: Titled a -> ar

Tuplify a ar => Tuplify [a] [ar]

Defined in Data.Chatty.Hetero

Methods

tuplify :: [a] -> [ar]

Tuplify a ar => Tuplify (Maybe a) (Maybe ar)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Maybe a -> Maybe ar

Tuplify a ar => Tuplify (Cons a Nil) ar

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a Nil -> ar

(Tuplify a ar, Tuplify b br) => Tuplify (Cons a (Cons b Nil)) (ar, br)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b Nil) -> (ar, br)

(Tuplify a ar, Tuplify b br, Tuplify c cr) => Tuplify (Cons a (Cons b (Cons c Nil))) (ar, br, cr)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

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)

Defined in Data.Chatty.Hetero

Methods

tuplify :: Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil))))) -> (ar, br, cr, dr, er, fr)

data Titled a

Constructors

Titled String a

Instances

Tuplify a ar => Tuplify (Titled a) ar

Defined in Data.Chatty.Hetero

Methods

tuplify :: Titled a -> ar