Module

Data.Const

#Const

newtype Const :: forall k. Type -> k -> Typenewtype Const a b

The Const type constructor, which wraps its first type argument and ignores its second. That is, Const a b is isomorphic to a for any b.

Const has some useful instances. For example, the Applicative instance allows us to collect results using a Monoid while ignoring return values.

Constructors

Instances

Modules