0.1.1
- Define
Invariant
type class
- Functors composition is just a type synonymous
- Control.Functor.Composition -> Control.Functor
0.1.2
- Define
Adjoint
type class
- Control.Functor -> Control.Functor.Composition
- Move all composition-based classes into Composition module
- Define laws for all classes, except
Pointable
, Exclusive
and Extractable
0.1.3
- Define
I
, II
and III
to able make instances
- Add
Identity
and Constant
cases of functors
- Weaken
Adjoint
type class requirements
- Move all newtype wrappers to
Basic
module