MonusWeightedSearch.Internal.CoerceOperators

Some utility operators for writing coercions. Taken from the profunctors package.

Documentation

>>> import Data.Functor.Identity

(#.) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c infixr 9

Compose a function with a no-op on the left.

(.#) :: Coercible a b => (b -> c) -> (a -> b) -> a -> c infixr 9

Compose a function with a no-op on the right.

(<#$>) :: Coercible (f a) (f b) => (a -> b) -> f a -> f b infixl 4

fmap with a no-op.

under :: Coercible a b => (b -> b -> b) -> (a -> b) -> a -> a -> a

Coerce a binary operator to work "under" a newtype.

>>> ((+) `under` runIdentity) (Identity 3) (Identity 5)
Identity 8