york-lava-0.2: A library for digital circuit description.

Lava.JList

Description

A very modest library for join-lists, also known as conc-lists.

Documentation

data JList a Source

Constructors

Zero 
One a 
(JList a) :+: (JList a) 

Instances

Monad JList 
Functor JList 
Eq a => Eq (JList a) 
Show a => Show (JList a) 

fromList :: [a] -> JList aSource

toList :: JList a -> [a]Source

map :: (a -> b) -> JList a -> JList bSource

mapM :: Monad m => (a -> m b) -> JList a -> m (JList b)Source

concat :: JList (JList a) -> JList aSource

zipWith :: (a -> b -> c) -> JList a -> JList b -> JList cSource

lazyZipWith :: (a -> b -> c) -> JList a -> JList b -> JList cSource