Safe Haskell | None |
---|---|
Language | Haskell98 |
Handling of the INFINITY, SHARP and FLAT builtins.
- typeOfInf :: TCM Type
- typeOfSharp :: TCM Type
- typeOfFlat :: TCM Type
- bindBuiltinInf :: Expr -> TCM ()
- bindBuiltinSharp :: Expr -> TCM ()
- bindBuiltinFlat :: Expr -> TCM ()
Documentation
typeOfSharp :: TCM Type Source
The type of ♯_
.
typeOfFlat :: TCM Type Source
The type of ♭
.
bindBuiltinInf :: Expr -> TCM () Source
Binds the INFINITY builtin, but does not change the type's definition.
bindBuiltinSharp :: Expr -> TCM () Source
Binds the SHARP builtin, and changes the definitions of INFINITY and SHARP.
bindBuiltinFlat :: Expr -> TCM () Source
Binds the FLAT builtin, and changes its definition.