Package

ltbs.uniform.examples

witchcraft

Permalink

package witchcraft

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. witchcraft
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Accused(name: String, age: Int, gender: Gender, appearance: String) extends Product with Serializable

    Permalink
  2. type AskTypes = shapeless.::[Accused, ::[List[Evidence], ::[List[Familiar], NilTypes]]]

    Permalink
  3. sealed trait Evidence extends AnyRef

    Permalink
  4. sealed trait Familiar extends AnyRef

    Permalink
  5. sealed trait Gender extends AnyRef

    Permalink
  6. type TellTypes = shapeless.::[Unit, HNil]

    Permalink
  7. case class WitchReport(accused: Accused, evidence: List[Evidence], familiars: List[Familiar]) extends Product with Serializable

    Permalink

Value Members

  1. object Evidence

    Permalink
  2. object Familiar

    Permalink
  3. object Gender

    Permalink
  4. def witchProgram[F[_]](i: Language[F, TellTypes, AskTypes])(implicit arg0: Monad[F]): F[WitchReport]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped