Indigo.Internal.Var

Variables

data Var a

A variable referring to an element in the stack.

Constructors

Var RefId

Instances

Show (Var a)

Defined in Indigo.Internal.Var

Methods

showsPrec :: Int -> Var a -> ShowS

show :: Var a -> String

showList :: [Var a] -> ShowS

Generic (Var a)

Defined in Indigo.Internal.Var

Associated Types

type Rep (Var a) :: Type -> Type

Methods

from :: Var a -> Rep (Var a) x

to :: Rep (Var a) x -> Var a

Buildable (Var a)

Defined in Indigo.Internal.Var

Methods

build :: Var a -> Builder

type Rep (Var a)

Defined in Indigo.Internal.Var

type Rep (Var a) = D1 ('MetaData "Var" "Indigo.Internal.Var" "indigo-0.5.0-inplace" 'False) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RefId)))

data RefId

Reference id to a stack cell

Instances

Bounded RefId

Defined in Indigo.Internal.Var

Methods

minBound :: RefId

maxBound :: RefId

Eq RefId

Defined in Indigo.Internal.Var

Methods

(==) :: RefId -> RefId -> Bool

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

Num RefId

Defined in Indigo.Internal.Var

Methods

(+) :: RefId -> RefId -> RefId

(-) :: RefId -> RefId -> RefId

(*) :: RefId -> RefId -> RefId

negate :: RefId -> RefId

abs :: RefId -> RefId

signum :: RefId -> RefId

fromInteger :: Integer -> RefId

Ord RefId

Defined in Indigo.Internal.Var

Methods

compare :: RefId -> RefId -> Ordering

(<) :: RefId -> RefId -> Bool

(<=) :: RefId -> RefId -> Bool

(>) :: RefId -> RefId -> Bool

(>=) :: RefId -> RefId -> Bool

max :: RefId -> RefId -> RefId

min :: RefId -> RefId -> RefId

Real RefId

Defined in Indigo.Internal.Var

Methods

toRational :: RefId -> Rational

Show RefId

Defined in Indigo.Internal.Var

Methods

showsPrec :: Int -> RefId -> ShowS

show :: RefId -> String

showList :: [RefId] -> ShowS

Generic RefId

Defined in Indigo.Internal.Var

Associated Types

type Rep RefId :: Type -> Type

Methods

from :: RefId -> Rep RefId x

to :: Rep RefId x -> RefId

Buildable RefId

Defined in Indigo.Internal.Var

Methods

build :: RefId -> Builder

type Rep RefId

Defined in Indigo.Internal.Var

type Rep RefId = D1 ('MetaData "RefId" "Indigo.Internal.Var" "indigo-0.5.0-inplace" 'True) (C1 ('MetaCons "RefId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data StackVars (stk :: [Type]) where

Stack of the symbolic interpreter.

Constructors

StkElements :: Rec StkEl stk -> StackVars stk

FailureStack :: StackVars stk

Instances

(KnownValue x, Default (StackVars xs)) => Default (StackVars (x ': xs))

Defined in Indigo.Internal.Var

Methods

def :: StackVars (x ': xs)

Default (StackVars ('[] :: [Type]))

Defined in Indigo.Internal.Var

Methods

def :: StackVars '[]

type StackVars' stk = Rec StkEl stk

data StkEl a where

Stack element of the symbolic interpreter.

It holds either a reference index that refers to this element or just NoRef, indicating that there are no references to this element.

Constructors

NoRef :: KnownValue a => StkEl a

Ref :: KnownValue a => RefId -> StkEl a

Instances

TestEquality StkEl

Defined in Indigo.Internal.Var

Methods

testEquality :: forall (a :: k) (b :: k). StkEl a -> StkEl b -> Maybe (a :~: b)

Stack operations

emptyStack :: StackVars '[]

assignVarAt :: (KnownValue a, a ~ At n inp, RequireLongerThan inp n) => Var a -> StackVars inp -> Sing n -> StackVars inp

Given a StackVars and a Peano singleton for a depth, it puts a new Var at that depth (0-indexed) and returns it with the updated StackVars.

If there is a Var there already it is used and the StackVars not changed.

pushRef :: KnownValue a => Var a -> StackVars inp -> StackVars (a ': inp)

Push a new stack element with a reference to it, given the variable.

pushNoRef :: KnownValue a => StackVars inp -> StackVars (a ': inp)

Push a new stack element without a reference to it.

popNoRef :: StackVars (a ': inp) -> StackVars inp

Remove the top element of the stack. It's supposed that no variable refers to this element.

Operations/Storage variables

type Ops = [Operation]

type HasSideEffects = Given (Var Ops)

Allows to get a variable with operations

operationsVar :: HasSideEffects => Var Ops

Return a variable which refers to a stack cell with operations

type HasStorage st = (Given (Var st), KnownValue st)

Allows to get a variable with storage

storageVar :: HasStorage st => Var st

Return a variable which refers to a stack cell with storage