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