Language.Nominal.Examples.Assembly2

Based on an example in the Bound package. This is interesting for the binding behaviour of Add and the swapping behaviour of Swp. Add adds two numbers and binds the result to a fresh register with scope over subsequent instructions. Swp swaps the contents of two registers 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.Assembly2

Methods

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

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

Show Operand

Defined in Language.Nominal.Examples.Assembly2

Methods

showsPrec :: Int -> Operand -> ShowS

show :: Operand -> String

showList :: [Operand] -> ShowS

Generic Operand

Defined in Language.Nominal.Examples.Assembly2

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.Assembly2

Methods

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

KSub V Operand Prog

Substitution on Programs is generic

Defined in Language.Nominal.Examples.Assembly2

Methods

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

KSub V Operand Operand

Substitution as standard on Operand

Defined in Language.Nominal.Examples.Assembly2

Methods

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

type Rep Operand

Defined in Language.Nominal.Examples.Assembly2

type Rep Operand = D1 (MetaData "Operand" "Language.Nominal.Examples.Assembly2" "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

Swp Operand Operand Prog

Swap the contents of two variables

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.Assembly2

Methods

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

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

Show Prog

Defined in Language.Nominal.Examples.Assembly2

Methods

showsPrec :: Int -> Prog -> ShowS

show :: Prog -> String

showList :: [Prog] -> ShowS

Generic Prog

Defined in Language.Nominal.Examples.Assembly2

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.Assembly2

Methods

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

KSub V Operand Prog

Substitution on Programs is generic

Defined in Language.Nominal.Examples.Assembly2

Methods

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

type Rep Prog

Defined in Language.Nominal.Examples.Assembly2

type Rep Prog = D1 (MetaData "Prog" "Language.Nominal.Examples.Assembly2" "nom-0.1.0.2-Cei0dwnsIrWHLKrPA11A4S" False) (C1 (MetaCons "Ret" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand)) :+: (C1 (MetaCons "Swp" 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 Prog))) :+: 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.

normaliseProg :: Prog -> Prog

Normalise a program by executing any embedded Swp commands.

evalProg :: Prog -> Int

Evaluate a program

example1 :: Prog

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

example1eval :: Int

3