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
Foldable (FixedList n) Source # | |
Defined in Data.Type.Witness.Specific.FixedList fold :: Monoid m => FixedList n m -> m # foldMap :: Monoid m => (a -> m) -> FixedList n a -> m # foldMap' :: Monoid m => (a -> m) -> FixedList n a -> m # foldr :: (a -> b -> b) -> b -> FixedList n a -> b # foldr' :: (a -> b -> b) -> b -> FixedList n a -> b # foldl :: (b -> a -> b) -> b -> FixedList n a -> b # foldl' :: (b -> a -> b) -> b -> FixedList n a -> b # foldr1 :: (a -> a -> a) -> FixedList n a -> a # foldl1 :: (a -> a -> a) -> FixedList n a -> a # toList :: FixedList n a -> [a] # null :: FixedList n a -> Bool # length :: FixedList n a -> Int # elem :: Eq a => a -> FixedList n a -> Bool # maximum :: Ord a => FixedList n a -> a # minimum :: Ord a => FixedList n a -> a # | |
Traversable (FixedList n) Source # | |
Defined in Data.Type.Witness.Specific.FixedList | |
Is PeanoNatType n => Applicative (FixedList n) Source # | |
Defined in Data.Type.Witness.Specific.FixedList | |
Functor (FixedList n) 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 #