DDF.PE

Documentation

data P repr h a where

Constructors

Unk :: repr h a -> P repr h a

Static :: a -> (forall h'. repr h' a) -> P repr h a

StaFun :: (forall hout. EnvT repr (a, h) hout -> P repr hout b) -> P repr h (a -> b)

Open :: (forall hout. EnvT repr h hout -> P repr hout a) -> P repr h a

Instances

DBI r => DBI (P r)

Methods

z :: P r (a, h) a

s :: P r h b -> P r (a, h) b

abs :: P r (a, h) b -> P r h (a -> b)

app :: P r h (a -> b) -> P r h a -> P r h b

hoas :: (P r (a, h) a -> P r (a, h) b) -> P r h (a -> b)

com :: P r h ((b -> c) -> (a -> b) -> a -> c)

flip :: P r h ((a -> b -> c) -> b -> a -> c)

id :: P r h (a -> a)

const :: P r h (a -> b -> a)

scomb :: P r h ((a -> b -> c) -> (a -> b) -> a -> c)

dup :: P r h ((a -> a -> b) -> a -> b)

let_ :: P r h (a -> (a -> b) -> b)

Bool r => Bool (P r)

Methods

bool :: Bool -> P r h Bool

ite :: P r h (a -> a -> Bool -> a)

Double r => Double (P r)

Methods

double :: Double -> P r h Double

doubleZero :: P r h Double

doubleOne :: P r h Double

doublePlus :: P r h (Double -> Double -> Double)

doubleMinus :: P r h (Double -> Double -> Double)

doubleMult :: P r h (Double -> Double -> Double)

doubleDivide :: P r h (Double -> Double -> Double)

doubleExp :: P r h (Double -> Double)

doubleEq :: P r h (Double -> Double -> Bool)

data EnvT repr hin hout where

Constructors

Dyn :: EnvT repr hin hin

Arg :: P repr hout a -> EnvT repr (a, hout) hout

Weak :: EnvT repr h (a, h)

Next :: EnvT repr hin hout -> EnvT repr (a, hin) (a, hout)

dynamic :: DBI repr => P repr h a -> repr h a

app_open :: DBI repr => P repr hin r -> EnvT repr hin hout -> P repr hout r

pe :: Double repr => P repr () a -> repr () a