Data.Functor.Const

Definitions

record Const : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkConst : a -> Const a b

Projection: 

.getConst : Const a b -> a

Hints:

Monoid a => Applicative (Const a)

Bifoldable Const

Bifunctor Const

Bitraversable Const

Eq a => Eq (Const a b)

Foldable (Const a)

Functor (Const a)

Ord a => Ord (Const a b)

Show a => Show (Const a b)

Traversable (Const a)

.getConst : Const a b -> a

Visibility: public export

getConst : Const a b -> a

Visibility: public export