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 b, Eq a) => Eq ((:-) a b)

Methods

(==) :: (a :- b) -> (a :- b) -> Bool

(/=) :: (a :- b) -> (a :- b) -> Bool

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

Methods

showsPrec :: Int -> (a :- b) -> ShowS

show :: (a :- b) -> String

showList :: [a :- b] -> ShowS

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.