parameterized-utils v1.0.8 Release Notes
Release Date: 2019-02-01 // about 5 years ago-
- Data.Parameterized.Map
- Fixed
MapF
functionsfilter
andfilterWithKey
- Added
MapF
function:mapWithKey
- Fixed
- Data.Parameterized.NatRepr
- Un-deprecate
withKnownNat
- Un-deprecate
- Data.Parameterized.Context
- Updated some haddock documentation (esp.
CtxEmbedding
data structure).
- Updated some haddock documentation (esp.
- Data.Parameterized.Nonce
- Fixed
newIONonceGenerator
haddock documentation (IO monad, not ST monad). - Added
countNoncesGenerated
for profiling Nonce usage.
- Fixed
- Data.Parameterized.TraversableF
- Added
FunctorF
,FoldableF
, andTraversableF
instances forCompose
from Data.Functor.Compose
- Added
- Data.Parameterized.ClassesC
- Newly added module.
- Declares
TestEqualityC
andOrdC
classes for working with types that have kind(k -> *) -> *
for anyk
.
- Data.Parameterized.Compose
- Newly added module.
- Orphan instance and
testEqualityComposeBare
function for working with Data.Functor.Compose.
- Data.Parameterized.TestEquality
- Newly added module.
- Utilities for working with Data.Type.TestEquality.
- Data.Parameterized.Map