ixmonad-0.30: Indexed monads library

Safe HaskellNone

Control.IxMonad.ReadOnlyWriter

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 

put :: a -> (HCons' a HNil', ())Source

class AppendA s t whereSource

Associated Types

type Append s t Source

Methods

append :: s -> t -> Append s tSource

Instances

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