perspective
0.3.0
DocsAPI
Generated with
perspective/perspective

perspective

package perspective

Members list

Packages

package perspective.derivation
package perspective.instances

Type members

Classlikes

trait ApplicativeK[F[_[_], _]] extends ApplyK[F]

A higher kinded cats.Applicative typeclass.

A higher kinded cats.Applicative typeclass.

Attributes

Companion
object
Source
ApplicativeK.scala
Supertypes
trait ApplyK[F]
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait MonadK[F]
object ApplicativeK

Attributes

Companion
trait
Source
ApplicativeK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait ApplyK[F[_[_], _]] extends FunctorK[F]

A higher kinded cats.Apply typeclass.

A higher kinded cats.Apply typeclass.

Attributes

Companion
object
Source
ApplyK.scala
Supertypes
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplicativeK[F]
trait MonadK[F]
object ApplyK

Attributes

Companion
trait
Source
ApplyK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ApplyK.type
object BoundedRepresentableKC

Attributes

Source
BoundedRepresentableK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait ContravariantK[F[_[_], _]] extends InvariantK[F]

Attributes

Companion
object
Source
ContravariantK.scala
Supertypes
trait InvariantK[F]
class Object
trait Matchable
class Any
object ContravariantK

Attributes

Companion
trait
Source
ContravariantK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
opaque object Finite

Attributes

Source
Finite.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Finite.type
trait FoldableK[F[_[_], _]]

A higher kinded Foldable typeclass.

A higher kinded Foldable typeclass.

Attributes

Companion
object
Source
FoldableK.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TraverseK[F]
object FoldableK

Attributes

Companion
trait
Source
FoldableK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
FoldableK.type
object FunctionK

Attributes

Source
FunctionK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
FunctionK.type
trait FunctorK[F[_[_], _]] extends InvariantK[F]

A higher kinded cats.Functor typeclass.

A higher kinded cats.Functor typeclass.

Attributes

Companion
object
Source
FunctorK.scala
Supertypes
trait InvariantK[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplyK[F]
trait ApplicativeK[F]
trait MonadK[F]
trait TraverseK[F]
object FunctorK

Attributes

Companion
trait
Source
FunctorK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
FunctorK.type
trait InvariantK[F[_[_], _]]

Attributes

Companion
object
Source
InvariantK.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ContravariantK[F]
trait FunctorK[F]
trait ApplyK[F]
trait ApplicativeK[F]
trait MonadK[F]
trait TraverseK[F]
Show all
object InvariantK

Attributes

Companion
trait
Source
InvariantK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
InvariantK.type
trait MonadK[F[_[_], _]] extends ApplicativeK[F]

Attributes

Companion
object
Source
MonadK.scala
Supertypes
trait ApplicativeK[F]
trait ApplyK[F]
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Show all
object MonadK

Attributes

Companion
trait
Source
MonadK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
MonadK.type
object RepresentableKC

Attributes

Source
RepresentableK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait TraverseK[F[_[_], _]] extends FunctorK[F], FoldableK[F]

A higher kinded Traverse typeclass.

A higher kinded Traverse typeclass.

Attributes

Companion
object
Source
TraverseK.scala
Supertypes
trait FoldableK[F]
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Show all
object TraverseK

Attributes

Companion
trait
Source
TraverseK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
TraverseK.type
object ValueK

Attributes

Source
ValueK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ValueK.type

Types

infix type :#~>#:[T, R] = FunctionK[Const[T], Const[R]]

A FunctionK taking and returning Const types.

A FunctionK taking and returning Const types.

Attributes

Source
FunctionK.scala
infix type :#~>:[T, F[_]] = FunctionK[Const[T], F]

A FunctionK taking a Const type.

A FunctionK taking a Const type.

Attributes

Source
FunctionK.scala
infix type :~>#:[F[_], R] = FunctionK[F, Const[R]]

A FunctionK returning a Const type.

A FunctionK returning a Const type.

Attributes

Source
FunctionK.scala
infix type :~>:[A[_], B[_]] = FunctionK[A, B]

Attributes

Source
FunctionK.scala
type ApplicativeKC[F[_[_]]] = ApplicativeK[IgnoreC[F]]

A version of ApplicativeK without a normal type as well as a higher kinded type.

A version of ApplicativeK without a normal type as well as a higher kinded type.

Attributes

Source
ApplicativeK.scala
type ApplyKC[F[_[_]]] = ApplyK[IgnoreC[F]]

A version of ApplyK without a normal type as well as a higher kinded type.

A version of ApplyK without a normal type as well as a higher kinded type.

Attributes

Source
ApplyK.scala
type BoundedRepresentableKC[F[_[_]]] = BoundedRepresentableK[IgnoreC[F]]

A version of BoundedRepresentableK without a normal type as well as a higher kinded type.

A version of BoundedRepresentableK without a normal type as well as a higher kinded type.

Attributes

Source
BoundedRepresentableK.scala
type Compose2[A[_], B[_]] = [Z] =>> A[B[Z]]

The composition of 2 higher kinded types.

The composition of 2 higher kinded types.

Attributes

Source
Compose.scala
type Compose3[A[_], B[_], C[_]] = [Z] =>> A[B[C[Z]]]

The composition of 3 higher kinded types.

The composition of 3 higher kinded types.

Attributes

Source
Compose.scala
type Compose4[A[_], B[_], C[_], D[_]] = [Z] =>> A[B[C[D[Z]]]]

The composition of 4 higher kinded types.

The composition of 4 higher kinded types.

Attributes

Source
Compose.scala
type Compose5[A[_], B[_], C[_], D[_], E[_]] = [Z] =>> A[B[C[D[E[Z]]]]]

The composition of 5 higher kinded types.

The composition of 5 higher kinded types.

Attributes

Source
Compose.scala
type Const[A] = [_] =>> A

A higher kinded type that is always the type given no matter what.

A higher kinded type that is always the type given no matter what.

Attributes

Source
Const.scala
type ContravariantKC[F[_[_]]] = ContravariantK[IgnoreC[F]]

Attributes

Source
ContravariantK.scala
type DistributiveKC[F[_[_]]] = DistributiveK[IgnoreC[F]]

A version of DistributiveK without a normal type as well as a higher kinded type.

A version of DistributiveK without a normal type as well as a higher kinded type.

Attributes

Source
DistributiveK.scala
type Finite[N <: Int] = Finite[N]

A wrapper around an finite integer domain. Stores the size at the type level.

A wrapper around an finite integer domain. Stores the size at the type level.

Attributes

Source
Finite.scala
type FoldableKC[F[_[_]]] = FoldableK[IgnoreC[F]]

Attributes

Source
FoldableK.scala
type FunctionK[A[_], B[_]] = [Z] => (x$1: A[Z]) => B[Z]

A higher kinded function from one kind to another.

A higher kinded function from one kind to another.

Attributes

Source
FunctionK.scala
type FunctorKC[F[_[_]]] = FunctorK[IgnoreC[F]]

A version of FunctorK without a normal type as well as a higher kinded type.

A version of FunctorK without a normal type as well as a higher kinded type.

Attributes

Source
FunctorK.scala
type Id[A] = A

An identity type constructor.

An identity type constructor.

Attributes

Source
Id.scala
type IdFC[A] = [F0[_]] =>> F0[A]

Attributes

Source
Id.scala
type IgnoreC[F[_[_]]] = [A[_], _] =>> F[A]

A function that adapts typeclasses expecting a type having both an higher kinded type and a non higher kinded type.

A function that adapts typeclasses expecting a type having both an higher kinded type and a non higher kinded type.

Attributes

Source
Const.scala
type InvariantKC[F[_[_]]] = InvariantK[IgnoreC[F]]

Attributes

Source
InvariantK.scala
type MonadKC[F[_[_]]] = MonadK[IgnoreC[F]]

Attributes

Source
MonadK.scala
type RepresentableKC[F[_[_]]] = RepresentableK[IgnoreC[F]]

A version of RepresentableK without a normal type as well as a higher kinded type.

A version of RepresentableK without a normal type as well as a higher kinded type.

Attributes

Source
RepresentableK.scala
type TraverseKC[F[_[_]]] = TraverseK[IgnoreC[F]]

A version of TraverseK without a normal type as well as a higher kinded type.

A version of TraverseK without a normal type as well as a higher kinded type.

Attributes

Source
TraverseK.scala
type Tuple2K[A[_], B[_]] = [Z] =>> (A[Z], B[Z])

A higher kinded Tuple2.

A higher kinded Tuple2.

Attributes

Source
TupleK.scala
type Tuple2KK[A[_[_], _], B[_[_], _]] = [Z[_], ZC] =>> (A[Z, ZC], B[Z, ZC])

An even higher kinded Tuple2.

An even higher kinded Tuple2.

Attributes

Source
TupleK.scala
type Tuple3K[A[_], B[_], C[_]] = [Z] =>> (A[Z], B[Z], C[Z])

A higher kinded Tuple3.

A higher kinded Tuple3.

Attributes

Source
TupleK.scala
type Tuple3KK[A[_[_], _], B[_[_], _], C[_[_], _]] = [Z[_], ZC] =>> (A[Z, ZC], B[Z, ZC], C[Z, ZC])

An even higher kinded Tuple3.

An even higher kinded Tuple3.

Attributes

Source
TupleK.scala
type Tuple4K[A[_], B[_], C[_], D[_]] = [Z] =>> (A[Z], B[Z], C[Z], D[Z])

A higher kinded Tuple4.

A higher kinded Tuple4.

Attributes

Source
TupleK.scala
type Tuple4KK[A[_[_], _], B[_[_], _], C[_[_], _], D[_[_], _]] = [Z[_], ZC] =>> (A[Z, ZC], B[Z, ZC], C[Z, ZC], D[Z, ZC])

An even higher kinded Tuple4.

An even higher kinded Tuple4.

Attributes

Source
TupleK.scala
type Tuple5K[A[_], B[_], C[_], D[_], E[_]] = [Z] =>> (A[Z], B[Z], C[Z], D[Z], E[Z])

A higher kinded Tuple5.

A higher kinded Tuple5.

Attributes

Source
TupleK.scala
type Tuple5KK[A[_[_], _], B[_[_], _], C[_[_], _], D[_[_], _], E[_[_], _]] = [Z[_], ZC] =>> (A[Z, ZC], B[Z, ZC], C[Z, ZC], D[Z, ZC], E[Z, ZC])

An even higher kinded Tuple5.

An even higher kinded Tuple5.

Attributes

Source
TupleK.scala
type ValueK[A[_]] = [Z] => () => A[Z]

A value that can be be applied to any type.

A value that can be be applied to any type.

Attributes

Source
ValueK.scala
Generated with