trait Based[T] extends Serializable
Provides a type describing the pattern functor of some {co}recursive type
T
. For standard fixed-point types like matryoshka.data.Fix,
Based[Fix[F]]#Base
is simply F
. However, directly recursive types
generally have a less obvious pattern functor. E.g., Based[Cofree[F,
A]]#Base
is EnvT[A, F, ?]
.
- Alphabetic
- By Inheritance
- Based
- Serializable
- Serializable
- Any
- Hide All
- Show All
- Public
- All
Type Members
- abstract type Base[A]
Abstract Value Members
-
abstract
def
getClass(): Class[_]
- Definition Classes
- Any
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
equals(arg0: Any): Boolean
- Definition Classes
- Any
-
def
hashCode(): Int
- Definition Classes
- Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
toString(): String
- Definition Classes
- Any