Contents Index

Sea.Slot

Documentation

slotTree :: Tree -> Tree

slotP :: Top -> VarGenM Top

data SlotS

Constructors SlotS stateMap :: (Map Var Int) stateSlot :: Int

type SlotM = State SlotS

newSlot :: SlotM Int

addSlotMap :: Int -> Var -> SlotM ()

slotS :: Stmt -> SlotM Stmt

slotA :: Alt -> SlotM Alt

Produced by Haddock version 0.7