shapeless
DataT
Related Docs:
trait DataT
|
package shapeless
object
DataT
extends
DataT1
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
DataT1
,
DataT0
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
DataT
Serializable
Serializable
DataT1
DataT0
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
type
Aux
[
F
,
T
,
Out0
]
=
DataT
[
F
,
T
] { type Out = Out0 }
Definition Classes
DataT0
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
apply
[
P
,
T
]
(
implicit
dtt:
Lazy
[
DataT
[
P
,
T
]]
)
:
DataT
[
P
,
T
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
deriveCCons
[
P
,
H
,
T <:
Coproduct
,
OutH
,
OutT <:
Coproduct
]
(
implicit
ch:
Lazy
[
Cases.Case1.Aux
[
P
,
H
,
OutH
]]
,
dtt:
Lazy
[
Aux
[
P
,
T
,
OutT
]]
)
:
Aux
[
P
,
:+:
[
H
,
T
],
:+:
[
OutH
,
OutT
]]
implicit
def
deriveCNil
[
P
]
:
Aux
[
P
,
CNil
,
CNil
]
implicit
def
deriveHCons
[
P
,
H
,
T <:
HList
,
OutH
,
OutT <:
HList
]
(
implicit
ch:
Lazy
[
Cases.Case1.Aux
[
P
,
H
,
OutH
]]
,
dtt:
Lazy
[
Aux
[
P
,
T
,
OutT
]]
)
:
Aux
[
P
,
::
[
H
,
T
],
::
[
OutH
,
OutT
]]
implicit
def
deriveHNil
[
P
]
:
Aux
[
P
,
HNil
,
HNil
]
implicit
def
deriveInstance
[
P
,
F
,
G
]
(
implicit
gen:
Generic.Aux
[
F
,
G
]
,
dtg:
Lazy
[
Aux
[
P
,
G
,
G
]]
)
:
Aux
[
P
,
F
,
F
]
Definition Classes
DataT1
implicit
def
dfltDataT
[
F
,
T
]
:
Aux
[
F
,
T
,
T
]
Default DataT type class instance.
Default DataT type class instance.
Definition Classes
DataT0
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
gmapT
[
F
,
T
]
(
f:
F
)
(
t:
T
)
(
implicit
data:
Lazy
[
DataT
[
F
,
T
]]
)
:
Out
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
def
listDataT
[
F <:
Poly
,
T
,
U
]
(
implicit
ft:
Lazy
[
Cases.Case1.Aux
[
F
,
T
,
U
]]
)
:
Aux
[
F
,
List
[
T
],
List
[
U
]]
DataT type class instance for
List
s.
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
DataT1
Inherited from
DataT0
Inherited from
AnyRef
Inherited from
Any
Ungrouped