Safe Haskell	Safe
Language	Haskell2010

DDF.PE

Documentation

data P repr h a where Source #

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) Source #
Methods z :: P r (a, h) a Source # s :: P r h b -> P r (a, h) b Source # abs :: P r (a, h) b -> P r h (a -> b) Source # app :: P r h (a -> b) -> P r h a -> P r h b Source # hoas :: (P r (a, h) a -> P r (a, h) b) -> P r h (a -> b) Source # com :: P r h ((b -> c) -> (a -> b) -> a -> c) Source # flip :: P r h ((a -> b -> c) -> b -> a -> c) Source # id :: P r h (a -> a) Source # const :: P r h (a -> b -> a) Source # scomb :: P r h ((a -> b -> c) -> (a -> b) -> a -> c) Source # dup :: P r h ((a -> a -> b) -> a -> b) Source # let_ :: P r h (a -> (a -> b) -> b) Source #
Bool r => Bool (P r) Source #
Methods bool :: Bool -> P r h Bool Source # ite :: P r h (a -> a -> Bool -> a) Source #
Double r => Double (P r) Source #
Methods double :: Double -> P r h Double Source # doubleZero :: P r h Double Source # doubleOne :: P r h Double Source # doublePlus :: P r h (Double -> Double -> Double) Source # doubleMinus :: P r h (Double -> Double -> Double) Source # doubleMult :: P r h (Double -> Double -> Double) Source # doubleDivide :: P r h (Double -> Double -> Double) Source # doubleExp :: P r h (Double -> Double) Source # doubleEq :: P r h (Double -> Double -> Bool) Source #

data EnvT repr hin hout where Source #

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 Source #

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

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