Skip to content

Instantly share code, notes, and snippets.

@calebh

calebh/tyexprs.fs

Created July 20, 2019 22:36
Show Gist options
  • Save calebh/6267ef856f6fa99fd539500698808205 to your computer and use it in GitHub Desktop.
Save calebh/6267ef856f6fa99fd539500698808205 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
tyexprs.fs
type BaseTyCon = TyConNumber
| TyConBool
| TyConUnit
| TyConList
| TyConFun
| TyConTuple
| TyConUserDefined of string
type TyCon = TyCon of BaseTyCon * Kind
type TyVar = TyVar of string * Kind
type TyExpr = TVarExpr of TyVar
| TConExpr of TyCon
| TApExpr of TyExpr * TyExpr
type Scheme = Forall of ((TyVar list) * TyExpr)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment