trait Ops[C] extends AnyRef
- Source
- Alg.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Ops
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ambientEdge[A](edge: GraphArc)(fa: Alg[C, A]): Alg[C, A]
- def ambientField[A](name: String)(fa: Alg[C, A]): Alg[C, A]
- def ambientIndex[A](index: Int)(fa: Alg[C, A]): Alg[C, A]
- def appendMessage[A](message: String)(fa: Alg[C, A]): Alg[C, A]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def attempt[A](fa: Alg[C, A]): Alg[C, EitherNec[PositionalError[C], A]]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def cursorAsk: Alg[C, Cursor]
- def cursorOver[A](cursor: Cursor, fa: Alg[C, A]): Alg[C, A]
- def cycleAsk: Alg[C, Set[String]]
- def cycleOver[A](name: String, fa: Alg[C, A]): Alg[C, A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def flatMap[A, B](fa: Alg[C, A])(f: (A) => Alg[C, B]): Alg[C, B]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def modifyError[A](f: (PositionalError[C]) => PositionalError[C])(fa: Alg[C, A]): Alg[C, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nextId: Alg[C, Int]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def parAp[A, B](fa: Alg[C, A])(fab: Alg[C, (A) => B]): Alg[C, B]
- def pure[A](a: A): Alg[Nothing, A]
- def raise[A](message: String, carets: List[C]): Alg[C, A]
- def raiseEither[A](e: Either[String, A], carets: List[C]): Alg[C, A]
- def raiseError(pe: PositionalError[C]): Alg[C, Nothing]
- def raiseOpt[A](oa: Option[A], message: String, carets: List[C]): Alg[C, A]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def unit: Alg[C, Unit]
- def useVariable(name: String): Alg[C, Unit]
- def usedVariables: Alg[C, Set[String]]
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()