Builtin Types

This class allows for overloading of builtin types, so they can be used directly a nice DSL for specifying types borrowing application from Haskell for the application of types.

Create a Builtin Type of Kind star.

>>> infer int
*

>>> infer long
*

>>> infer byte
*

>>> infer short
*

>>> infer float
*

>>> infer double
*

>>> infer inth
#

>>> infer longh
#

>>> infer integer
*

>>> infer bool
*

>>> infer string
*

>>> infer char
*

>>> infer list
* -> *

>>> infer (list int)
*

>>> infer (tup [int, list int])
*

>>> infer maybe_
* -> *

>>> infer (maybe_ int)
*

>>> infer ee
*

>>> infer equality
a -> a -> *

>>> infer (equality equality)
(a -> a -> *) -> *

>>> infer functor
(* -> *) -> Γ

>>> infer (equality functor)
((* -> *) -> Γ) -> *

This is a placeholder typeclass we're using until we get class declaration parsing implemented

>>> infer lame
* -> Γ

A type annotation that can be applied to anything.