



Synopsis 



Documentation 

data SizedList n a where  Source 

A list which is indexed with a typelevel natural that denotes the size of
the list.
 Constructors   Instances  



Fold a binary operator over a SizedList.


foldrN :: forall a b n. (forall m. a > b m > b (S m)) > b Z > SizedList n a > b n  Source 

Fold a binary operator yielding a value with a natural number
indexed type over a SizedList.



Convert a SizedList to a normal list.



Returns the length of the SizedList.



Convert a normal list to a SizedList. If the length of the given
list does not equal n, Nothing is returned.



Convert a normal list to a SizeList. If the length of the given
list does not equal n, an error is thrown.



replicate x :: SizedList n a returns a SizedList of n xs.


Produced by Haddock version 2.4.2 