| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CoercibleUtils
Description
This module reexports the entire content of the `coercible-utils` package.
See the Newtype module for the newtype combinators.
Note: Most functions in this package take an argument that solely
directs the type of the coercion. The value of this argument is ignored.
In each case, this argument has a type that looks like a `to` b. As the name
of the to type variable suggests, this will typically be a function from
a to b. But leaving the type variable completely polymorphic and
unconstrained lets the type signature communicate the fact that the argument
is not used.
Synopsis
- module CoercibleUtils.Newtype
- (#.) :: Coercible b c => (b `to` c) -> (a -> b) -> a -> c
- (.#) :: Coercible a b => (b -> c) -> (a `to` b) -> a -> c
Documentation
module CoercibleUtils.Newtype