|data SizedList n a where||Source|
|A list which is indexed with a type-level natural that denotes the size of
|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|