Changelog for pandora-0.1.1
0.1.1
- Define
attached
destructor forProduct
datatype - Define
empty
destructor forStack
structure - Replace
flip
on?
type operator - Remove type parameter from
Stack
type synonymous - Split
structure
andvalue
inNonempty
type family - Define
Invariant
instance forConstant
datatype - Remove all
Invariant
methods exceptinvmap
- Extract
Junction
module fromBasis