ixmonad-0.15: Indexed monads library
Control.IxMonad.ReadOnlyWriter
data HNil'
Constructors
Instances
data HCons' a b
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