Package

ltbs.uniform.interpreters

logictable

Permalink

package logictable

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

Type Members

  1. type Logic[A] = EitherT[[γ$0$]WriterT[[+A]List[A], List[String], γ$0$], ErrorTree, A]

    Permalink

  2. case class LogicTableInterpreter[SupportedTell <: HList, SupportedAsk <: HList]()(implicit tellSummoner: TypeclassList[SupportedTell, TellRenderer], askSummoner: TypeclassList[SupportedAsk, SampleData]) extends Language[Logic, SupportedTell, SupportedAsk] with Product with Serializable

    Permalink

  3. trait SampleData[A] extends AnyRef

    Permalink

  4. trait TellRenderer[A] extends AnyRef

    Permalink

Value Members

  1. implicit def automaticTell[A](implicit lp: LowPriority): TellRenderer[A]

    Permalink

  2. val r: Monad[Logic]

    Permalink

  3. implicit val unitSample: SampleData[Unit]

    Permalink

  4. implicit val unitTell: TellRenderer[Unit]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped