info
.
hupel
isabelle
package
isabelle
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
isabelle
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
HTML
=
TypedTag
[
String
]
type
Program
[
A
]
=
Free
[
Instruction
,
A
]
type
XMLResult
[
+A
]
=
Either
[(
String
,
Body
),
A
]
Value Members
implicit
def
cancelableFutureMonad
(
implicit
ec:
ExecutionContext
)
:
Monad
[
CancelableFuture
]
package
cli
Inherited from
AnyRef
Inherited from
Any
Ungrouped