gql-monadic-arrow
0.3.5-19-241f189
API
Generated with
gql-monadic-arrow/gql.arrow

gql.arrow

package gql.arrow

Members list

Type members

Classlikes

sealed trait DeclAlg[F[_, _], A]

Attributes

Companion
object
Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AskArrow[F]
class Choice[F, A, B, C]
class Declare[F, A, B]
object DeclAlg

Attributes

Companion
trait
Source
Language.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
DeclAlg.type
final case class FetchVar[A](id: Int, pos: Option[SourcePos], compilerPos: SourcePos)

Attributes

Source
Language.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
abstract class Language[F[_, _]]

Attributes

Companion
object
Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ResolverArrowDsl[F]
Self type
object Language

Attributes

Companion
class
Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Language.type
trait ResolverArrowDsl[F[_]] extends Language[[_, _] =>> Resolver[F, _$2, _$3]]

Attributes

Source
dsl.scala
Supertypes
class Language[[_, _] =>> Resolver[F, _$2, _$3]]
class Object
trait Matchable
class Any
final case class Var[A](impl: FreeApplicative[FetchVar, A]) extends AnyVal

Attributes

Companion
object
Source
Language.scala
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
Show all
object Var

Attributes

Companion
class
Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Var.type
object dsl

Attributes

Source
dsl.scala
Supertypes
class Object
trait Matchable
class Any
Self type
dsl.type

Types

type ResolverDecl[F[_], A] = Free[[_] =>> ResolverDeclAlg[F, _$5], A]

Attributes

Source
package.scala
type ResolverDeclAlg[F[_], A] = DeclAlg[[_, _] =>> Resolver[F, _$2, _$3], A]

Attributes

Source
package.scala
Generated with