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 # | |

fromFixedList :: List n a -> T n a Source #

toFixedList :: T n a -> List n a Source #