gql-monadic-arrow
0.3.5-2-05b2dc6
gql-monadic-arrow
API
gql.arrow
DeclAlg
DeclAlg
AskArrow
Choice
Declare
FetchVar
Language
ArrowOps
PartiallyAppliedLanguageCompiler
VarEitherOps
VarOps
Language
ResolverArrowDsl
FieldBuilderOps
VarResolverOps
Var
Var
dsl
gql-monadic-arrow
/
gql.arrow
/
Language
Language
gql.arrow.Language$
See the
Language
companion class
object
Language
Attributes
Companion
class
Source
Language.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Language
.type
Members list
Clear all
Value members
Concrete methods
def
askArrow
[
F
[
_
,
_
]]:
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$27
],
Arrow
[
F
]]
Attributes
Source
Language.scala
def
choice
[
F
[
_
,
_
],
A
,
B
,
C
](
v
:
Var
[
Either
[
A
,
B
]])(
l
:
Var
[
A
]
=>
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$21
],
Var
[
C
]])(
r
:
Var
[
B
]
=>
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$22
],
Var
[
C
]])(
implicit
sp
:
SourcePos
,
c
:
ArrowChoice
[
F
]):
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$23
],
Var
[
C
]]
Attributes
Source
Language.scala
def
declare
[
F
[
_
,
_
],
A
,
B
](
v
:
Var
[
A
])(
f
:
F
[
A
,
B
])(
implicit
sp
:
SourcePos
):
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$17
],
Var
[
B
]]
Attributes
Source
Language.scala
def
proc
[
F
[
_
,
_
],
A
,
B
](
f
:
Var
[
A
]
=>
Free
[[
_
]
=>>
DeclAlg
[
F
,
_$31
],
Var
[
B
]])(
implicit
arrow
:
Arrow
[
F
],
sp
:
SourcePos
):
F
[
A
,
B
]
Attributes
Source
Language.scala
In this article
Attributes
Members list
Value members
Concrete methods