Language.Nominal.Examples.Assembly1

Based on an example in the Bound package. What makes this interesting is the binding behaviour of Add, which adds two numbers and binds the result to a fresh register with scope over subsequent instructions.

Documentation

type V = Name String

Variables are string-labelled names

data Operand

An operand is an integer literal or a variable

Constructors

Lit Int

Var V

Instances

Eq Operand

Defined in Language.Nominal.Examples.Assembly1

Methods

(==) :: Operand -> Operand -> Bool

(/=) :: Operand -> Operand -> Bool

Show Operand

Defined in Language.Nominal.Examples.Assembly1

Methods

showsPrec :: Int -> Operand -> ShowS

show :: Operand -> String

showList :: [Operand] -> ShowS

Generic Operand

Defined in Language.Nominal.Examples.Assembly1

Associated Types

type Rep Operand :: Type -> Type

Methods

from :: Operand -> Rep Operand x

to :: Rep Operand x -> Operand

Swappable Operand

Defined in Language.Nominal.Examples.Assembly1

Methods

kswp :: Typeable s => KAtom s -> KAtom s -> Operand -> Operand

KSub V Operand Prog

Substitution on Programs is generic

Defined in Language.Nominal.Examples.Assembly1

Methods

sub :: V -> Operand -> Prog -> Prog

KSub V Operand Operand

Substitution as standard on Operand

Defined in Language.Nominal.Examples.Assembly1

Methods

sub :: V -> Operand -> Operand -> Operand

type Rep Operand

Defined in Language.Nominal.Examples.Assembly1

type Rep Operand = D1 (MetaData "Operand" "Language.Nominal.Examples.Assembly1" "nom-0.1.0.2-Cei0dwnsIrWHLKrPA11A4S" False) (C1 (MetaCons "Lit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Var" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 V)))

data Prog

Terms of our assembly language

Constructors

Ret Operand

Return a value

Add Operand Operand (KAbs V Prog)

Add two operands and store the value in a fresh variable which is local to subsequent computation (the third argument)

Instances

Eq Prog

Defined in Language.Nominal.Examples.Assembly1

Methods

(==) :: Prog -> Prog -> Bool

(/=) :: Prog -> Prog -> Bool

Show Prog

Defined in Language.Nominal.Examples.Assembly1

Methods

showsPrec :: Int -> Prog -> ShowS

show :: Prog -> String

showList :: [Prog] -> ShowS

Generic Prog

Defined in Language.Nominal.Examples.Assembly1

Associated Types

type Rep Prog :: Type -> Type

Methods

from :: Prog -> Rep Prog x

to :: Rep Prog x -> Prog

Swappable Prog

Defined in Language.Nominal.Examples.Assembly1

Methods

kswp :: Typeable s => KAtom s -> KAtom s -> Prog -> Prog

KSub V Operand Prog

Substitution on Programs is generic

Defined in Language.Nominal.Examples.Assembly1

Methods

sub :: V -> Operand -> Prog -> Prog

type Rep Prog

Defined in Language.Nominal.Examples.Assembly1

type Rep Prog = D1 (MetaData "Prog" "Language.Nominal.Examples.Assembly1" "nom-0.1.0.2-Cei0dwnsIrWHLKrPA11A4S" False) (C1 (MetaCons "Ret" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand)) :+: C1 (MetaCons "Add" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (KAbs V Prog)))))

evalOperand :: Operand -> Int

Evaluate an operand.

• A literal maps to its corresponding integer.
• If asked to evaluate a free variable, complain.

evalProg :: Prog -> Int

Evaluate a program

example1 :: Prog

Add 1 2 [v] Add v v [w] Ret w

example1eval :: Int

6