Safe Haskell	Safe-Inferred
Language	Haskell2010

ConCat.StackVM

Description

Stack-based VM as a category, enabling compilation from Haskell.

Synopsis

newtype StackFun a b = SF (forall z. (a :* z) -> b :* z)
unSF :: StackFun a b -> forall z. (a :* z) -> b :* z
inSF :: ((forall z. (a :* z) -> b :* z) -> forall z. (c :* z) -> d :* z) -> StackFun a b -> StackFun c d
inSF2 :: ((forall z. (a :* z) -> b :* z) -> (forall z. (c :* z) -> d :* z) -> forall z. (p :* z) -> q :* z) -> StackFun a b -> StackFun c d -> StackFun p q
stackFun :: (a -> b) -> StackFun a b
evalStackFun :: StackFun a b -> a -> b
data Prim :: * -> * -> * where
- Swap :: Prim (a :* b) (b :* a)
- Exl :: Prim (a :* b) a
- Exr :: Prim (a :* b) b
- Dup :: Prim a (a :* a)
- Const :: Show b => b -> Prim a b
- Negate :: Num a => Prim a a
- Add, Sub, Mul :: Num a => Prim (a :* a) a
- PowI :: Num a => Prim (a :* Int) a
- (:+++) :: StackOps a c -> StackOps b d -> Prim (a :+ b) (c :+ d)
- Apply :: Prim ((a -> b) :* a) b
- Curry :: StackProg (a :* b) c -> Prim a (b -> c)
evalPrim :: Prim a b -> a -> b
data StackOp :: * -> * -> * where
- Pure :: Prim a b -> StackOp (a :* z) (b :* z)
- Push :: StackOp ((a :* b) :* z) (a :* (b :* z))
- Pop :: StackOp (a :* (b :* z)) ((a :* b) :* z)
evalStackOp :: StackOp u v -> u -> v
data StackOps :: * -> * -> * where
- Nil :: StackOps a a
- (:<) :: StackOp a b -> StackOps b c -> StackOps a c
toList :: forall z a b. (forall u v. StackOp u v -> z) -> StackOps a b -> [z]
evalStackOps :: StackOps a b -> a -> b
(++*) :: StackOps a b -> StackOps b c -> StackOps a c
data StackProg a b = SP {
- unSP :: forall z. StackOps (a :* z) (b :* z)
}
primProg :: Prim a b -> StackProg a b
progFun :: StackProg a b -> StackFun a b
evalProg :: StackProg a b -> a -> b
data Exists2 k = forall a b. Exists2 (a `k` b)
t1 :: StackProg (Int :* Int) Int
t2 :: StackProg Int Int

Documentation

newtype StackFun a b Source #

Constructors

SF (forall z. (a :* z) -> b :* z)

Instances

Instances details

AssociativePCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods lassocP :: Ok3 StackFun a b c => StackFun (Prod StackFun a (Prod StackFun b c)) (Prod StackFun (Prod StackFun a b) c) Source # rassocP :: Ok3 StackFun a b c => StackFun (Prod StackFun (Prod StackFun a b) c) (Prod StackFun a (Prod StackFun b c)) Source #
BraidedPCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods swapP :: Ok2 StackFun a b => StackFun (Prod StackFun a b) (Prod StackFun b a) Source #
BraidedSCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods swapS :: Ok2 StackFun a b => StackFun (Coprod StackFun a b) (Coprod StackFun b a) Source #
Category StackFun Source #
Instance details Defined in ConCat.StackVM Associated Types type Ok StackFun :: Type -> Constraint Source # Methods id :: Ok StackFun a => StackFun a a Source # (.) :: forall b c a. Ok3 StackFun a b c => StackFun b c -> StackFun a b -> StackFun a c Source #
ClosedCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods apply :: Ok2 StackFun a b => StackFun (Prod StackFun (Exp StackFun a b) a) b Source # curry :: Ok3 StackFun a b c => StackFun (Prod StackFun a b) c -> StackFun a (Exp StackFun b c) Source # uncurry :: Ok3 StackFun a b c => StackFun a (Exp StackFun b c) -> StackFun (Prod StackFun a b) c Source #
CoproductCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods inl :: Ok2 StackFun a b => StackFun a (Coprod StackFun a b) Source # inr :: Ok2 StackFun a b => StackFun b (Coprod StackFun a b) Source # jam :: Ok StackFun a => StackFun (Coprod StackFun a a) a Source #
DistribCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods distl :: Ok3 StackFun a u v => StackFun (Prod StackFun a (Coprod StackFun u v)) (Coprod StackFun (Prod StackFun a u) (Prod StackFun a v)) Source # distr :: Ok3 StackFun u v b => StackFun (Prod StackFun (Coprod StackFun u v) b) (Coprod StackFun (Prod StackFun u b) (Prod StackFun v b)) Source #
MonoidalPCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods (***) :: Ok4 StackFun a b c d => StackFun a c -> StackFun b d -> StackFun (Prod StackFun a b) (Prod StackFun c d) Source # first :: forall a a' b. Ok3 StackFun a b a' => StackFun a a' -> StackFun (Prod StackFun a b) (Prod StackFun a' b) Source # second :: Ok3 StackFun a b b' => StackFun b b' -> StackFun (Prod StackFun a b) (Prod StackFun a b') Source #
MonoidalSCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods (+++) :: Ok4 StackFun a b c d => StackFun c a -> StackFun d b -> StackFun (Coprod StackFun c d) (Coprod StackFun a b) Source # left :: forall a a' b. Oks StackFun '[a, b, a'] => StackFun a a' -> StackFun (Coprod StackFun a b) (Coprod StackFun a' b) Source # right :: Oks StackFun '[a, b, b'] => StackFun b b' -> StackFun (Coprod StackFun a b) (Coprod StackFun a b') Source #
ProductCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods exl :: Ok2 StackFun a b => StackFun (Prod StackFun a b) a Source # exr :: Ok2 StackFun a b => StackFun (Prod StackFun a b) b Source # dup :: Ok StackFun a => StackFun a (Prod StackFun a a) Source #
TerminalCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods it :: Ok StackFun a => StackFun a (Unit StackFun) Source #
UnitCat StackFun Source #
Instance details Defined in ConCat.StackVM Methods lunit :: Ok StackFun a => StackFun a (Prod StackFun (Unit StackFun) a) Source # lcounit :: Ok StackFun a => StackFun (Prod StackFun (Unit StackFun) a) a Source # runit :: Ok StackFun a => StackFun a (Prod StackFun a (Unit StackFun)) Source # rcounit :: Ok StackFun a => StackFun (Prod StackFun a (Unit StackFun)) a Source #
type Ok StackFun Source #
Instance details Defined in ConCat.StackVM type Ok StackFun = Yes1 :: Type -> Constraint

unSF :: StackFun a b -> forall z. (a :* z) -> b :* z Source #

inSF :: ((forall z. (a :* z) -> b :* z) -> forall z. (c :* z) -> d :* z) -> StackFun a b -> StackFun c d Source #

inSF2 :: ((forall z. (a :* z) -> b :* z) -> (forall z. (c :* z) -> d :* z) -> forall z. (p :* z) -> q :* z) -> StackFun a b -> StackFun c d -> StackFun p q Source #

stackFun :: (a -> b) -> StackFun a b Source #

The semantic functor that specifies StackFun.

evalStackFun :: StackFun a b -> a -> b Source #

data Prim :: * -> * -> * where Source #

Constructors

Swap :: Prim (a :* b) (b :* a)
Exl :: Prim (a :* b) a
Exr :: Prim (a :* b) b
Dup :: Prim a (a :* a)
Const :: Show b => b -> Prim a b
Negate :: Num a => Prim a a
Add, Sub, Mul :: Num a => Prim (a :* a) a
PowI :: Num a => Prim (a :* Int) a
(:+++) :: StackOps a c -> StackOps b d -> Prim (a :+ b) (c :+ d)
Apply :: Prim ((a -> b) :* a) b
Curry :: StackProg (a :* b) c -> Prim a (b -> c)

Instances

Instances details

Show (Prim a b) Source #
Instance details Defined in ConCat.StackVM Methods showsPrec :: Int -> Prim a b -> ShowS Source # show :: Prim a b -> String Source # showList :: [Prim a b] -> ShowS Source #

evalPrim :: Prim a b -> a -> b Source #

data StackOp :: * -> * -> * where Source #

Constructors

Pure :: Prim a b -> StackOp (a :* z) (b :* z)
Push :: StackOp ((a :* b) :* z) (a :* (b :* z))
Pop :: StackOp (a :* (b :* z)) ((a :* b) :* z)

Instances

Instances details

Show2 StackOp Source #
Instance details Defined in ConCat.StackVM Methods show2 :: forall (a :: k) (b :: k1). StackOp a b -> String Source #
Show (StackOp a b) Source #
Instance details Defined in ConCat.StackVM Methods showsPrec :: Int -> StackOp a b -> ShowS Source # show :: StackOp a b -> String Source # showList :: [StackOp a b] -> ShowS Source #

evalStackOp :: StackOp u v -> u -> v Source #

data StackOps :: * -> * -> * where Source #

Constructors

Nil :: StackOps a a
(:<) :: StackOp a b -> StackOps b c -> StackOps a c infixr 5

Instances

Instances details

Show (StackOps a b) Source #
Instance details Defined in ConCat.StackVM Methods showsPrec :: Int -> StackOps a b -> ShowS Source # show :: StackOps a b -> String Source # showList :: [StackOps a b] -> ShowS Source #

toList :: forall z a b. (forall u v. StackOp u v -> z) -> StackOps a b -> [z] Source #

evalStackOps :: StackOps a b -> a -> b Source #

(++*) :: StackOps a b -> StackOps b c -> StackOps a c infixr 5 Source #

data StackProg a b Source #

Constructors

SP
Fields unSP :: forall z. StackOps (a :* z) (b :* z)

Instances

Instances details

AssociativePCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods lassocP :: Ok3 StackProg a b c => StackProg (Prod StackProg a (Prod StackProg b c)) (Prod StackProg (Prod StackProg a b) c) Source # rassocP :: Ok3 StackProg a b c => StackProg (Prod StackProg (Prod StackProg a b) c) (Prod StackProg a (Prod StackProg b c)) Source #
BraidedPCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods swapP :: Ok2 StackProg a b => StackProg (Prod StackProg a b) (Prod StackProg b a) Source #
Category StackProg Source #
Instance details Defined in ConCat.StackVM Associated Types type Ok StackProg :: Type -> Constraint Source # Methods id :: Ok StackProg a => StackProg a a Source # (.) :: forall b c a. Ok3 StackProg a b c => StackProg b c -> StackProg a b -> StackProg a c Source #
ClosedCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods apply :: Ok2 StackProg a b => StackProg (Prod StackProg (Exp StackProg a b) a) b Source # curry :: Ok3 StackProg a b c => StackProg (Prod StackProg a b) c -> StackProg a (Exp StackProg b c) Source # uncurry :: Ok3 StackProg a b c => StackProg a (Exp StackProg b c) -> StackProg (Prod StackProg a b) c Source #
MonoidalPCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods (***) :: Ok4 StackProg a b c d => StackProg a c -> StackProg b d -> StackProg (Prod StackProg a b) (Prod StackProg c d) Source # first :: forall a a' b. Ok3 StackProg a b a' => StackProg a a' -> StackProg (Prod StackProg a b) (Prod StackProg a' b) Source # second :: Ok3 StackProg a b b' => StackProg b b' -> StackProg (Prod StackProg a b) (Prod StackProg a b') Source #
ProductCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods exl :: Ok2 StackProg a b => StackProg (Prod StackProg a b) a Source # exr :: Ok2 StackProg a b => StackProg (Prod StackProg a b) b Source # dup :: Ok StackProg a => StackProg a (Prod StackProg a a) Source #
TerminalCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods it :: Ok StackProg a => StackProg a (Unit StackProg) Source #
UnitCat StackProg Source #
Instance details Defined in ConCat.StackVM Methods lunit :: Ok StackProg a => StackProg a (Prod StackProg (Unit StackProg) a) Source # lcounit :: Ok StackProg a => StackProg (Prod StackProg (Unit StackProg) a) a Source # runit :: Ok StackProg a => StackProg a (Prod StackProg a (Unit StackProg)) Source # rcounit :: Ok StackProg a => StackProg (Prod StackProg a (Unit StackProg)) a Source #
Show b => ConstCat StackProg b Source #
Instance details Defined in ConCat.StackVM Methods const :: Ok StackProg a => b -> StackProg a (ConstObj StackProg b) Source # unitArrow :: b -> StackProg (Unit StackProg) (ConstObj StackProg b) Source #
Num a => NumCat StackProg a Source #
Instance details Defined in ConCat.StackVM Methods negateC :: StackProg a a Source # addC :: StackProg (Prod StackProg a a) a Source # subC :: StackProg (Prod StackProg a a) a Source # mulC :: StackProg (Prod StackProg a a) a Source # powIC :: StackProg (Prod StackProg a Int) a Source #
Show (StackProg a b) Source #
Instance details Defined in ConCat.StackVM Methods showsPrec :: Int -> StackProg a b -> ShowS Source # show :: StackProg a b -> String Source # showList :: [StackProg a b] -> ShowS Source #
type Ok StackProg Source #
Instance details Defined in ConCat.StackVM type Ok StackProg = Yes1 :: Type -> Constraint

primProg :: Prim a b -> StackProg a b Source #

progFun :: StackProg a b -> StackFun a b Source #

evalProg :: StackProg a b -> a -> b Source #

data Exists2 k Source #

Constructors

forall a b. Exists2 (a `k` b)

Instances

Instances details

Show2 k => Show (Exists2 k) Source #
Instance details Defined in ConCat.StackVM Methods showsPrec :: Int -> Exists2 k -> ShowS Source # show :: Exists2 k -> String Source # showList :: [Exists2 k] -> ShowS Source #

t1 :: StackProg (Int :* Int) Int Source #

t2 :: StackProg Int Int Source #