Language.Nano.Typecheck.Types

Contents

• Programs
• (Refinement) Types
• Deconstructing Types
• Regular Types
• Primitive Types
• Operator Types
• Annotations

Description

Synopsis

• data Nano a t = Nano {
  • code :: !(Source a)
  • specs :: !(Env t)
  • defs :: !(Env t)
  • consts :: !(Env t)
  • quals :: ![Qualifier]
  }
• type NanoBare = Nano AnnBare Type
• type NanoSSA = Nano AnnSSA Type
• type NanoType = Nano AnnType Type
• newtype Source a = Src [FunctionStatement a]
• type FunctionStatement a = Statement a
• mapCode :: (a -> b) -> Nano a t -> Nano b t
• data RType r
  • = TApp TCon [RType r] r
  • | TVar TVar r
  • | TFun [Bind r] (RType r) r
  • | TAll TVar (RType r)
• data Bind r = B {
  • b_sym :: Symbol
  • b_type :: !(RType r)
  }
• toType :: RType a -> Type
• ofType :: Reftable r => Type -> RType r
• strengthen :: Reftable r => RType r -> r -> RType r
• bkFun :: RType r -> Maybe ([TVar], [Bind r], RType r)
• bkAll :: RType a -> ([TVar], RType a)
• type Type = RType ()
• data TVar = TV {
  • tv_sym :: Symbol
  • tv_loc :: SourcePos
  }
• data TCon
  • = TInt
  • | TBool
  • | TVoid
  • | TDef Symbol
• tInt :: Reftable r => RType r
• tBool :: Reftable r => RType r
• tVoid :: Reftable r => RType r
• tErr :: Reftable r => RType r
• tVar :: Reftable r => TVar -> RType r
• infixOpTy :: InfixOp -> Env t -> t
• prefixOpTy :: PrefixOp -> Env t -> t
• data Annot b a = Ann {
  • ann :: a
  • ann_fact :: [b]
  }
• data Fact
  • = PhiVar !(Id SourcePos)
  • | TypInst ![Type]
• type AnnBare = Annot Fact SourcePos
• type AnnSSA = Annot Fact SourcePos
• type AnnType = Annot Fact SourcePos
• type AnnInfo = HashMap SourcePos [Fact]

Programs

(Refinement) Types

Deconstructing Types

Regular Types

Primitive Types

Operator Types

Annotations