|
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
data FlippedSeal a where | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gap abstracts over FreeLeft and FreeRight for code constructing these values
| | Methods | | An empty Gap, e.g. NilFL or NilRL
| | | A Gap constructed from a completely polymorphic value, for example the constructors
for primitive patches
| | joinGap :: (p -> q -> r) -> w p -> w q -> w r | Source |
| Compose two Gap values together, e.g. 'joinGap (+>+)' or 'joinGap (:>:)'
|
| | Instances | |
|
|
|
'FreeLeft p' is 'forall x . exists y . p x y'
In other words the caller is free to specify the left witness,
and then the right witness is an existential.
Note that the order of the type constructors is important for ensuring
that y is dependent on the x that is supplied.
This is why Stepped is needed, rather than writing the more obvious
'Sealed (Poly p)' which would notionally have the same quantification
of the type witnesses.
| Instances | |
|
|
|
Unwrap a FreeLeft value
|
|
|
'FreeLeft p' is 'forall y . exists x . p x y'
In other words the caller is free to specify the right witness,
and then the left witness is an existential.
Note that the order of the type constructors is important for ensuring
that x is dependent on the y that is supplied.
| Instances | |
|
|
|
Unwrap a FreeRight value
|
|
Produced by Haddock version 2.6.1 |