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.

data JList a Source

Constructors

Instances

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