Parsley.Internal.Backend.Machine.LetBindings

Documentation

data LetBinding o a x

Constructors

forall rs. LetBinding (Binding o a x) (Regs rs)

Instances

Show (LetBinding o a x)

Defined in Parsley.Internal.Backend.Machine.LetBindings

Methods

showsPrec :: Int -> LetBinding o a x -> ShowS

show :: LetBinding o a x -> String

showList :: [LetBinding o a x] -> ShowS

data Regs (rs :: [Type]) where

Constructors

NoRegs :: Regs '[]

FreeReg :: ΣVar r -> Regs rs -> Regs (r ': rs)

Instances

Show (Regs rs)

Defined in Parsley.Internal.Backend.Machine.LetBindings

Methods

showsPrec :: Int -> Regs rs -> ShowS

show :: Regs rs -> String

showList :: [Regs rs] -> ShowS

makeLetBinding :: Binding o a x -> Set IΣVar -> LetBinding o a x

type Binding o a x = Fix4 (Instr o) '[] One x a