ltbs
.
uniform
.
examples
beardtax
package
beardtax
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
beardtax
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
AskTypes
=
shapeless.::
[
Option
[
MemberOfPublic
],
::
[
BeardStyle
,
::
[
BeardLength
,
NilTypes
]]]
type
BeardLength
= (
Int
,
Int
)
sealed
trait
BeardStyle
extends
AnyRef
trait
Hod
[
F
[
_
]
]
extends
AnyRef
case class
MemberOfPublic
(
forename:
NonEmptyString
,
surname:
NonEmptyString
,
age:
LocalDate
)
extends
Product
with
Serializable
type
TellTypes
=
shapeless.::
[
Unit
,
HNil
]
Value Members
object
BeardStyle
object
IdDummyHod
extends
Hod
[
Id
]
def
beardProgram
[
F
[
_
]
]
(
interpreter:
Language
[
F
,
TellTypes
,
AskTypes
]
,
hod:
Hod
[
F
]
)
(
implicit
arg0:
Monad
[
F
]
)
:
F
[
Int
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped