io
.
sigs
.
seals
.
core
.
Model
HCons
Related Docs:
object HCons
|
package Model
final
class
HCons
[
T <:
HList
]
extends
Composite
[
Model
,
T
] with
HList
Linear Supertypes
HList
,
Composite
[
Model
,
T
],
Model
,
Serializable
,
Serializable
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
HCons
HList
Composite
Model
Serializable
Serializable
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
HCons
(
l:
Symbol
,
optional:
Boolean
,
h0: () ⇒
Model
,
t0: () ⇒
T
,
refinement:
Option
[
Ref
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
def
::
(
h: (
Symbol
,
Model
)
)
:
HCons
[
HCons
[
T
]]
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
checkType
(
that:
Model
)
:
Option
[
Composite
[
Model
,
Model
]]
Attributes
protected
Definition Classes
HCons
→
Composite
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
compEq
(
that:
Model
,
compat:
Boolean
,
memo:
IdMemo
)
:
Boolean
Attributes
protected[
io.sigs.seals.core
]
Definition Classes
HCons
→
Composite
→
Model
final
def
compatible
(
that:
Model
)
:
Boolean
Definition Classes
Model
lazy val
desc
:
String
Definition Classes
Model
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
equals
(
that:
Any
)
:
Boolean
Definition Classes
Model
→ AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
fold
[
R
]
(
hNil: () ⇒
R
,
hCons: (
Symbol
,
Boolean
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
cNil: () ⇒
R
,
cCons: (
Symbol
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
vector: (
Option
[
Ref
],
R
) ⇒
R
,
atom: (
Atom
) ⇒
R
,
cycle: () ⇒
R
)
:
R
Definition Classes
Model
final
def
foldC
[
R
]
(
hNil: (
Ctx
) ⇒
R
,
hCons: (
Ctx
,
Symbol
,
Boolean
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
cNil: (
Ctx
) ⇒
R
,
cCons: (
Ctx
,
Symbol
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
vector: (
Ctx
,
Option
[
Ref
],
R
) ⇒
R
,
atom: (
Ctx
,
Atom
) ⇒
R
,
cycle: (
Ctx
) ⇒
R
)
:
R
Definition Classes
Model
final
def
foldImpl
[
R
]
(
hNil: (
Ctx
) ⇒
R
,
hCons: (
Ctx
,
Symbol
,
Boolean
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
cNil: (
Ctx
) ⇒
R
,
cCons: (
Ctx
,
Symbol
,
Option
[
Ref
],
R
,
R
) ⇒
R
,
vector: (
Ctx
,
Option
[
Ref
],
R
) ⇒
R
,
atom: (
Ctx
,
Atom
) ⇒
R
,
cycle: (
Ctx
) ⇒
R
,
memo:
Memo
,
path:
Path
)
:
R
Attributes
protected[
io.sigs.seals.core
]
Definition Classes
HCons
→
Model
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
final
def
hashCode
()
:
Int
Definition Classes
Model
→ AnyRef → Any
final
lazy val
head
:
Model
Definition Classes
Composite
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
label
:
Symbol
Definition Classes
Composite
final
def
localIds
:
Map
[
Model
,
Int
]
Definition Classes
Model
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
optional
:
Boolean
final
def
pathComp
:
String
Definition Classes
Model
final
def
paths
:
Map
[
Model
,
Path
]
Definition Classes
Model
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
final
lazy val
tail
:
T
Definition Classes
Composite
final
def
toString
()
:
String
Definition Classes
Model
→ 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
HList
Inherited from
Composite
[
Model
,
T
]
Inherited from
Model
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AnyRef
Inherited from
Any
Ungrouped