button ~master (2022-05-05T23:03:09.2264647)
Dub
Repo
EdgeRow
button
state
An edge row in the database.
alias
EdgeRow
(
A
,
B
,
Data
=
EdgeType
)
=
Edge
!(
Index
!
A
,
Index
!
B
,
Data
)
Meta
Source
See Implementation
button
state
aliases
EdgeIndex
EdgeRow
NeighborIndex
Other
classes
BuildState
functions
parse
structs
Index
Neighbor
An edge row in the database.