Text.Boomerang.HStack

a simple heteregenous stack library

Documentation

data a :- b infixr 8

A stack datatype. Just a better looking tuple.

Constructors

a :- b infixr 8

Instances

(Eq a, Eq b) => Eq ((:-) a b)

(Show a, Show b) => Show ((:-) a b)

arg :: (ty -> r -> s) -> (a -> ty) -> (a :- r) -> s

hdTraverse :: Functor f => (a -> f b) -> (a :- t) -> f (b :- t)

Applicative traversal over the top of the stack.

hdMap :: (a1 -> a2) -> (a1 :- b) -> a2 :- b

Map over the top of the stack.

hhead :: (a :- b) -> a

Get the top of the stack.

htail :: (a :- b) -> b

Get the stack with the top popped.

pop :: (a -> b -> r) -> (a :- b) -> r

Stack destructor.