Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data FixedList n a where Source #
NilFixedList :: FixedList 'Zero a | |
ConsFixedList :: a -> FixedList n a -> FixedList ('Succ n) a |
Instances
fixedListLength :: FixedList n a -> PeanoNatType n Source #
fixedListGenerate :: Applicative m => PeanoNatType n -> m a -> m (FixedList n a) Source #
fixedFromList :: [a] -> (forall n. PeanoNatType n -> FixedList n a -> r) -> r Source #
fixedListArrowSequence_ :: forall arrow n a. Arrow arrow => FixedList n (arrow a ()) -> arrow (FixedList n a) () Source #