Control.IxMonad.Reader

Documentation

data HNil'

Constructors

HNil'

Instances

Eq HNil'

TypeRepsList HNil'

Split HNil' t

AppendA HNil' t

data HCons' a b

Constructors

HCons' a b

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' -> a

class Split s t where

Associated Types

type Append s t

Methods

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

Instances

Split HNil' t

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