ltbs
.
uniform
.
examples
witchcraft
package
witchcraft
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
witchcraft
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
case class
Accused
(
name:
String
,
age:
Int
,
gender:
Gender
,
appearance:
String
)
extends
Product
with
Serializable
type
AskTypes
=
shapeless.::
[
Accused
,
::
[
List
[
Evidence
],
::
[
List
[
Familiar
],
NilTypes
]]]
sealed
trait
Evidence
extends
AnyRef
sealed
trait
Familiar
extends
AnyRef
sealed
trait
Gender
extends
AnyRef
type
TellTypes
=
shapeless.::
[
Unit
,
HNil
]
case class
WitchReport
(
accused:
Accused
,
evidence:
List
[
Evidence
]
,
familiars:
List
[
Familiar
]
)
extends
Product
with
Serializable
Value Members
object
Evidence
object
Familiar
object
Gender
def
witchProgram
[
F
[
_
]
]
(
i:
Language
[
F
,
TellTypes
,
AskTypes
]
)
(
implicit
arg0:
Monad
[
F
]
)
:
F
[
WitchReport
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped