Copilot.Core.Locals

Let expressions.

Documentation

data Loc

Constructors

forall a. Loc

Fields

• localName :: Name
• localType :: Type a

Instances

Show Loc

Defined in Copilot.Core.Locals

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

locals :: Spec -> [Loc]