Functional Hack
Introduction
1.
Hack subset
2.
Naming conventions
3.
Effects
4.
Errors
5.
Steps preprocessor
6.
API
6.1.
Awkward
6.2.
Eq
6.3.
Eqs
6.4.
F
6.5.
IO
6.6.
Iso
6.7.
Monoid
6.8.
Monoids
6.9.
Option
6.10.
Semigroup
6.11.
Semigroups
6.12.
Supplies
6.13.
Supply
6.14.
Uninhabited
Powered by
GitBook
Functional Hack
Interface
FH\Iso<TA, TB>
Interface for isomorphisms.
Laws
Isomorphism
a
2
b
(
b
2
a
(
$
x
)
)
=
$
x
\mathtt{a2b(b2a(\$x))} = \mathtt{\$x}
a
2
b
(
b
2
a
(
$
x
)
)
=
$
x
Instance methods
a2b(TA $a): TB
Convert from
TA
to
TB
.
b2a(TB $b): TA
Convert from
TB
to
TA
.