freek
package
freek
Linear Supertypes
HK
,
LowerImplicits
,
LowerImplicits2
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
freek
HK
LowerImplicits
LowerImplicits2
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
implicit
class
toOnionT0
[
TC
[
_
[
_
]
,
_
]
,
F
[
_
]
,
A
]
extends
AnyRef
Definition Classes
LowerImplicits
implicit
class
toTrans1
[
F
[
_
]
,
G
[
_
]
,
A
]
extends
AnyRef
Definition Classes
HK
implicit
class
toTrans2
[
F
[
_
]
,
A
]
extends
AnyRef
Definition Classes
HK
Value Members
implicit
def
toInterpreter
[
F
[
_
]
,
R
[
_
]
]
(
nat:
~>
[
F
,
R
]
)
:
Interpreter
[[β$14$]
In1
[
F
,
β$14$
],
R
]
Definition Classes
LowerImplicits2
implicit
def
toInterpreterCopK
[
F
[
_
]
<:
CopK
[_]
,
R
[
_
]
]
(
nat:
~>
[
F
,
R
]
)
:
Interpreter
[
F
,
R
]
Definition Classes
LowerImplicits
Inherited from
HK
Inherited from
LowerImplicits
Inherited from
LowerImplicits2
Inherited from
AnyRef
Inherited from
Any
Ungrouped