ltbs
.
uniform
.
interpreters
logictable
package
logictable
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
logictable
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
Logic
[
A
]
=
EitherT
[[γ$0$]
WriterT
[[+A]
List
[
A
],
List
[
String
],
γ$0$
],
ErrorTree
,
A
]
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
trait
SampleData
[
A
]
extends
AnyRef
trait
TellRenderer
[
A
]
extends
AnyRef
Value Members
implicit
def
automaticTell
[
A
]
(
implicit
lp:
LowPriority
)
:
TellRenderer
[
A
]
val
r
:
Monad
[
Logic
]
implicit
val
unitSample
:
SampleData
[
Unit
]
implicit
val
unitTell
:
TellRenderer
[
Unit
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped