scalaz-core/scalaz/Const

Const

object Const extends ConstInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def const[A](a: A): NaturalTransformation[Function0, [α] =>> A]

A properly universally quantified constant function.

A properly universally quantified constant function.

Implicits

Inherited implicits

implicit
def constContravariant[C]: Contravariant[[_] =>> Const[C, _$11]]
Inherited from
ConstInstances1
implicit
def constEqual[A : Equal, B]: Equal[Const[A, B]]
Inherited from
ConstInstances0
implicit
def constInstance1[C : Semigroup]: Apply[[_] =>> Const[C, _$12]] & Divide[[_] =>> Const[C, _$13]]
Inherited from
ConstInstances0
implicit
def constInstance2[C : Monoid]: Applicative[[_] =>> Const[C, _$14]] & Divisible[[_] =>> Const[C, _$15]]
Inherited from
ConstInstances
implicit
def constMonoid[A : Monoid, B]: Monoid[Const[A, B]]
Inherited from
ConstInstances
implicit
def constOrder[A : Order, B]: Order[Const[A, B]]
Inherited from
ConstInstances
implicit
def constSemigroup[A : Semigroup, B]: Semigroup[Const[A, B]]
Inherited from
ConstInstances0
implicit
def constShow[A : Show, B]: Show[Const[A, B]]
Inherited from
ConstInstances
implicit
def constTraverse[C]: Traverse[[_] =>> Const[C, _$10]]
Inherited from
ConstInstances1