0.1.1
- Define
attached
destructor for Product
datatype
- Define
empty
destructor for Stack
structure
- Replace
flip
on ?
type operator
- Remove type parameter from
Stack
type synonymous
- Split
structure
and value
in Nonempty
type family
- Define
Invariant
instance for Constant
datatype
- Remove all
Invariant
methods except invmap
- Extract
Junction
module from Basis
0.1.2
- Define
Pipeline
control flow paradigm
- Split
Structure
modules on Property
and Concrete
- Define
Hollow
type class for handling empty structures
- Extract
Nonempty
into a separated module
- Define
Graph
concrete structure
- Define infix
:-.
type operator for Lens
- Define
Object
instances for Product
datatype
0.1.3
- Define
Object
instances for Cofree
datatype
- Define all
Object
pattern instances for Constant
datatype
- Define
reset
and shift
methods for Continuation
datatype
- Define
Endo
datatype in Basis
module
- Define
Object
instances for transformer schemes
- Define
Binary
tree concrete structure
- Define some
Object
instances for Jack
datatype
- Remove
Hollow
ad-hoc typeclass
- Merge
Property
and Concrete
modules back