module
Attributes
- Graph
- Supertypes
- Known subtypes
Members list
Type members
Inherited classlikes
Attributes
- Inherited from:
- proof
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- proof
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Types
An Access
datatype represents an action, when evaluated, brings a value of type A into memory.
The datatype needs to be monadic for the derivation mechanism to work.
An Access
datatype represents an action, when evaluated, brings a value of type A into memory.
The datatype needs to be monadic for the derivation mechanism to work.
The bifunctor
package supports Access
values that are bifunctors (covariant on both type parameters, i.e. not profunctors),
but does not place any assumption on the meaning of the first type parameter.
Attributes
Value members
Inherited methods
Good ol' flatMap
.
Good ol' flatMap
.
To traverse a relation graph edge by edge is sequential computation, so we require flatMap
to be implemented
on Access
.
Attributes
- Inherited from:
- access
aka traverse
.
aka traverse
.
If you are implementing Access
with your own datatype, and if you want batching/parallel behavior,
please override this default behavior with a more efficient version that comes with your datatype.
See zquery
or fetch
modules for examples.
Attributes
- Inherited from:
- access
Plain ol' map
.
Plain ol' map
.
Can be implemented in terms of flatMap
and succeed
, but probably a bad idea considering what kinds of datatypes
will be used to implement Access
.
Attributes
- Inherited from:
- access
Implicits
Inherited implicits
Attributes
- Inherited from:
- proof