Copilot.Core.Locals

Let expressions.

Documentation

data Loc

Constructors

Loc

Fields

• localName :: Name
• localType :: Type a

Instances

Show Loc

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

locals :: Spec -> [Loc]