Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data AtomicTyCon Source #
convT ∷ Type NamedTyDeBruijn DefaultUni a → RType Source #
varTm ∷ Int → NamedDeBruijn Source #
varTy ∷ Int → NamedDeBruijn Source #
unconvT ∷ Int → RType → Type NamedTyDeBruijn DefaultUni () Source #
data ScopeError Source #
data RuntimeError Source #