Package extrafun - Namespaces

• Control.Applicative.Restricted
• Control.Monad.Restricted
• Control.Category
• Control.Kleisli
• Data.Functor.Indexed

  Functors able to read some separate data, the "index".
• Data.Functor.Dependent

  Functors with type depending on some extra data, the "index"
• Data.Functor.Restricted

  An attempt at a class of functors defined on a subclass of Type.
• Data.Foldable.Indexed

  A Foldable that is able to read extra data, the index
• Data.Foldable.Dependent
• Data.Traversable.Indexed

  An IndTraversable is a Traversable able to read some extra data, the index.
• Data.Traversable.Dependent

  A dependently-typed traversable class
• Data.Filterable

  A Filterable is a functor where elements can be thrown away
• Data.Filterable.Indexed
• Data.Filterable.Dependent

  A DepFilterable is a dependently-typed Functor where elements can be thrown away.
• Data.Witherable

  A Witherable is a combination of a Traversable and a Filterable
• Data.Witherable.Indexed

  An indexed Witherable
• Data.Witherable.Dependent

  A dependently-typed Witherable
• Data.Withering

  A withering is something which can be run on any IndWitherable.
• Data.Withering.Dependent

  A dependently-typed Withering
• Data.Indexed.Add

  We can make any collection into an indexed collection by storing pairs
• Data.Indexed.AddDep

  We can make any collection into an dependently indexed collection by storing dependent pairs.
• Data.Indexed.Fixed

  We can regarding any functor as indexed, with a specified fixed index.
• Data.Indexed.FixedDep

  We can regard any functor as dependently indexed, with specified fixed index.
• Data.Indexed.Independent

  We can treat any dependent functor as an independent functor by using constant index