specs2
API
Generated with
specs2/doobie.specs2/analysisspec/Checker

Checker

doobie.specs2.analysisspec$.Checker
trait Checker[M[_]] extends CheckerBase[M]

Attributes

Source:
analysisspec.scala
Graph
Supertypes
trait CheckerBase[M]
class Object
trait Matchable
class Any
Known subtypes
trait IOChecker
Self type
Specification

Members list

Concise view

Value members

Concrete methods

def check[A](a: A)(using evidence$1: Analyzable[A]): Fragments

Attributes

Source:
analysisspec.scala
def checkOutput[A](q: Query0[A])(using evidence$2: TypeName[A]): Fragments

Attributes

Source:
analysisspec.scala
def checkOutput[A, B](q: Query[A, B])(using evidence$3: TypeName[A], evidence$4: TypeName[B]): Fragments

Attributes

Source:
analysisspec.scala
def checkOutput[A](u: Update[A])(using evidence$5: TypeName[A]): Fragments

Attributes

Source:
analysisspec.scala
def checkOutput(u: Update0): Fragments

Attributes

Source:
analysisspec.scala

Inherited methods

def colors: Colors

Attributes

Inherited from:
CheckerBase
Source:
analysis.scala
def transactor: Transactor[M]

Attributes

Inherited from:
CheckerBase
Source:
analysis.scala

Implicits

Inherited implicits

implicit def M: Sync[M]

Attributes

Inherited from:
CheckerBase
Source:
analysis.scala
implicit def U: UnsafeRun[M]

Attributes

Inherited from:
CheckerBase
Source:
analysis.scala
Generated with