Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
Instances
Natural n => Functor (T n) Source # | |
Natural n => Applicative (T n) Source # | |
Natural n => Foldable (T n) Source # | |
Defined in Data.FixedLength fold :: Monoid m => T n m -> m # foldMap :: Monoid m => (a -> m) -> T n a -> m # foldr :: (a -> b -> b) -> b -> T n a -> b # foldr' :: (a -> b -> b) -> b -> T n a -> b # foldl :: (b -> a -> b) -> b -> T n a -> b # foldl' :: (b -> a -> b) -> b -> T n a -> b # foldr1 :: (a -> a -> a) -> T n a -> a # foldl1 :: (a -> a -> a) -> T n a -> a # elem :: Eq a => a -> T n a -> Bool # maximum :: Ord a => T n a -> a # | |
Natural n => Traversable (T n) Source # | |
(Natural n, Eq a) => Eq (T n a) Source # | |
(Natural n, Show a) => Show (T n a) Source # | |
(Natural n, Storable a) => Storable (T n a) Source # | |
ConsAll (T n a) Source # | |
Defined in Data.FixedLength type NumberOfArguments (T n a) :: Type Source # type ResultSize (T n a) :: Type Source # type ResultElement (T n a) :: Type Source # consAux :: (NumberOfArguments (T n a) ~ m, ResultSize (T n a) ~ n0, ResultElement (T n a) ~ a0) => (T m a0 -> T n0 a0) -> T n a | |
type NumberOfArguments (T n a) Source # | |
Defined in Data.FixedLength | |
type ResultSize (T n a) Source # | |
Defined in Data.FixedLength | |
type ResultElement (T n a) Source # | |
Defined in Data.FixedLength |
fromFixedList :: List n a -> T n a Source #
toFixedList :: T n a -> List n a Source #
consAux
Instances
(a ~ ResultElement f, ConsAll f) => ConsAll (a -> f) Source # | |
Defined in Data.FixedLength type NumberOfArguments (a -> f) :: Type Source # type ResultSize (a -> f) :: Type Source # type ResultElement (a -> f) :: Type Source # consAux :: (NumberOfArguments (a -> f) ~ m, ResultSize (a -> f) ~ n, ResultElement (a -> f) ~ a0) => (T m a0 -> T n a0) -> a -> f | |
ConsAll (T n a) Source # | |
Defined in Data.FixedLength type NumberOfArguments (T n a) :: Type Source # type ResultSize (T n a) :: Type Source # type ResultElement (T n a) :: Type Source # consAux :: (NumberOfArguments (T n a) ~ m, ResultSize (T n a) ~ n0, ResultElement (T n a) ~ a0) => (T m a0 -> T n0 a0) -> T n a |
type family NumberOfArguments f Source #
Instances
type NumberOfArguments (a -> f) Source # | |
Defined in Data.FixedLength | |
type NumberOfArguments (T n a) Source # | |
Defined in Data.FixedLength |
type family ResultSize f Source #
Instances
type ResultSize (a -> f) Source # | |
Defined in Data.FixedLength | |
type ResultSize (T n a) Source # | |
Defined in Data.FixedLength |
type family ResultElement f Source #
Instances
type ResultElement (a -> f) Source # | |
Defined in Data.FixedLength | |
type ResultElement (T n a) Source # | |
Defined in Data.FixedLength |
consAll :: (ConsAll f, ResultSize f ~ n, NumberOfArguments f ~ n, Natural n) => f Source #