Data.Const

newtype Const a b

Constructors

• Const a

Instances

• Newtype (Const a b) _
• (Eq a) => Eq (Const a b)
• (Eq a) => Eq1 (Const a)
• (Ord a) => Ord (Const a b)
• (Ord a) => Ord1 (Const a)
• (Bounded a) => Bounded (Const a b)
• (Show a) => Show (Const a b)
• Semigroupoid Const
• (Semigroup a) => Semigroup (Const a b)
• (Monoid a) => Monoid (Const a b)
• (Semiring a) => Semiring (Const a b)
• (Ring a) => Ring (Const a b)
• (EuclideanRing a) => EuclideanRing (Const a b)
• (CommutativeRing a) => CommutativeRing (Const a b)
• (HeytingAlgebra a) => HeytingAlgebra (Const a b)
• (BooleanAlgebra a) => BooleanAlgebra (Const a b)
• Functor (Const a)
• Invariant (Const a)
• (Semigroup a) => Apply (Const a)
• (Monoid a) => Applicative (Const a)