ixmonad-0.30: Indexed monads library

Safe Haskell	None

Control.IxMonad.Reader

Documentation

data HNil'

Constructors

Instances

Eq HNil'
TypeRepsList HNil'
Split HNil' t
AppendA HNil' t

data HCons' a b

Constructors

Instances

(Eq a, Eq b) => Eq (HCons' a b)
(TypeRepsList xs, Typeable x) => TypeRepsList (HCons' x xs)
Split xs ys => Split (HCons' x xs) ys
AppendA xs ys => AppendA (HCons' x xs) ys

ask :: HCons' a HNil' -> aSource

class Split s t whereSource

Associated Types

type Append s t Source

Methods

split :: Append s t -> (s, t)Source

Instances

Split HNil' t
Split xs ys => Split (HCons' x xs) ys