gql-core
0.3.5-19-241f189
API
Generated with
gql-core/gql/gql.preparation/Alg

Alg

gql.preparation.Alg$
See theAlg companion trait
object Alg

Attributes

Companion
trait
Source
Alg.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Alg.type

Members list

Type members

Classlikes

final case class Attempt[C, A](fa: Alg[C, A]) extends Alg[C, EitherNec[PositionalError[C], A]]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, EitherNec[PositionalError[C], A]]
class Object
trait Matchable
class Any
Show all
case object CursorAsk extends Alg[Nothing, Cursor]

Attributes

Source
Alg.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, Cursor]
class Object
trait Matchable
class Any
Show all
Self type
CursorAsk.type
final case class CursorOver[C, A](cursor: Cursor, fa: Alg[C, A]) extends Alg[C, A]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, A]
class Object
trait Matchable
class Any
Show all
case object CycleAsk extends Alg[Nothing, Set[String]]

Attributes

Source
Alg.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, Set[String]]
class Object
trait Matchable
class Any
Show all
Self type
CycleAsk.type
final case class CycleOver[C, A](name: String, fa: Alg[C, A]) extends Alg[C, A]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, A]
class Object
trait Matchable
class Any
Show all
final case class FlatMap[C, A, B](fa: Alg[C, A], f: A => Alg[C, B]) extends Alg[C, B]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, B]
class Object
trait Matchable
class Any
Show all
case object NextId extends Alg[Nothing, Int]

Attributes

Source
Alg.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, Int]
class Object
trait Matchable
class Any
Show all
Self type
NextId.type
object Ops

Attributes

Companion
trait
Source
Alg.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Ops.type
trait Ops[C]

Attributes

Companion
object
Source
Alg.scala
Supertypes
class Object
trait Matchable
class Any
final case class ParAp[C, A, B](fa: Alg[C, A], fab: Alg[C, A => B]) extends Alg[C, B]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, B]
class Object
trait Matchable
class Any
Show all
final case class Pure[A](a: A) extends Alg[Nothing, A]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, A]
class Object
trait Matchable
class Any
Show all
final case class RaiseError[C](pe: Type[PositionalError[C]]) extends Alg[C, Nothing]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[C, Nothing]
class Object
trait Matchable
class Any
Show all
final case class UseVariable(name: String) extends Alg[Nothing, Unit]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, Unit]
class Object
trait Matchable
class Any
Show all
final case class UsedVariables() extends Alg[Nothing, Set[String]]

Attributes

Source
Alg.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Alg[Nothing, Set[String]]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def run[C, A](fa: Alg[C, A]): EitherNec[PositionalError[C], A]

Attributes

Source
Alg.scala

Implicits

Implicits

implicit def monadErrorForPreparationAlg[C]: MonadError[[_] =>> Alg[C, _$1], Type[PositionalError[C]]]

Attributes

Source
Alg.scala
implicit def parallelForPreparationAlg[C]: Parallel[[_] =>> Alg[C, _$3]]

Attributes

Source
Alg.scala
Generated with