Add Foldable/Traversable instances for 'Const m'

Authored by austin on Sep 24 2013, 10:11 PM.

Description

Add Foldable/Traversable instances for 'Const m'

These were proposed a while ago but never went anywhere.

Authored-by: Edward Kmett <ekmett@gmail.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinSep 24 2013, 10:12 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF35d55a62fb06: Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.
Branches
Unknown
Tags
Unknown