| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Calculi.Lambda.Cube.TH
- sf :: QuasiQuoter
- stlc :: QuasiQuoter
Documentation
sf :: QuasiQuoter Source #
A QuasiQuoter for SystemF, allowing quantification and poly types (lower case).
[sf| forall a b. a -> b |] == quantify "a" (quantify "b" (poly "a" /-> poly "b"))
stlc :: QuasiQuoter Source #
A QuasiQuoter for SimplyTyped.
[stlc| A -> B -> C |] == mono "A" /-> mono "B" /-> mono "C"
[stlc| (A -> B) -> B |] == (mono "A" /-> mono "B") /-> mono "B"