Control.Applicative.Const

Definitions

record Const : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkConst : a -> Const a b

Projection: 

.runConst : Const a b -> a

Hints:

Abs a => Abs (Const a b)

Monoid a => Applicative (Const a)

Bifoldable Const

Bifunctor Const

Bitraversable Const

Bits a => Bits (Const a b)

Contravariant (Const a)

Eq a => Eq (Const a b)

Foldable (Const a)

Fractional a => Fractional (Const a b)

FromString a => FromString (Const a b)

Functor (Const a)

Integral a => Integral (Const a b)

Monoid a => Monoid (Const a b)

Neg a => Neg (Const a b)

Num a => Num (Const a b)

Ord a => Ord (Const a b)

Semigroup a => Semigroup (Const a b)

Show a => Show (Const a b)

Traversable (Const a)

.runConst : Const a b -> a

Totality: total
Visibility: public export

runConst : Const a b -> a

Totality: total
Visibility: public export