DDF.PE

Documentation

data P repr h a where

Constructors

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

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

Known :: K repr h a -> repr h a -> (forall hout. EnvT repr h hout -> P repr hout a) -> (forall any. P repr (any, h) a) -> (forall hh ht. (hh, ht) ~ h => P repr ht (hh -> 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)

Float r => Float (P r)

Methods

float :: Float -> P r h Float

floatZero :: P r h Float

floatOne :: P r h Float

floatPlus :: P r h (Float -> Float -> Float)

floatMinus :: P r h (Float -> Float -> Float)

floatMult :: P r h (Float -> Float -> Float)

floatDivide :: P r h (Float -> Float -> Float)

floatExp :: P r h (Float -> Float)

Option repr => Option (P repr)

Methods

nothing :: P repr h (Maybe a)

just :: P repr h (a -> Maybe a)

optionMatch :: P repr h (b -> (a -> b) -> Maybe a -> b)

Prod r => Prod (P r)

Methods

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

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

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

swap :: P r h ((x, y) -> (y, x))

curry :: P r h (((a, b) -> c) -> a -> b -> c)

uncurry :: P r h ((a -> b -> c) -> (a, b) -> c)

Dual repr => Dual (P repr)

Methods

dual :: P repr h ((x, y) -> Dual x y)

runDual :: P repr h (Dual x y -> (x, y))

mkDual :: P repr h (x -> y -> Dual x y)

dualOrig :: P repr h (Dual x y -> x)

dualDiff :: P repr h (Dual x y -> y)

Sum r => Sum (P r)

Methods

left :: P r h (a -> Either a b)

right :: P r h (b -> Either a b)

sumMatch :: P r h ((a -> c) -> (b -> c) -> Either a b -> c)

Unit repr => Unit (P repr)

Methods

unit :: P repr h ()

Y r => Y (P r)

Methods

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

undefined :: P r h a

List repr => List (P repr)

Methods

nil :: P repr h [a]

cons :: P repr h (a -> [a] -> [a])

listMatch :: P repr h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: P repr h ([a] -> [a] -> [a])

Char repr => Char (P repr)

Methods

char :: Char -> P repr h Char

IO repr => IO (P repr)

Methods

putStrLn :: P repr h (String -> IO ())

Bool r => Bool (P r)

Methods

bool :: Bool -> P r h Bool

true :: P r h Bool

false :: 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)

Int repr => Int (P repr)

Methods

int :: Int -> P repr h Int

pred :: P repr h (Int -> Int)

isZero :: P repr h (Int -> Bool)

IO repr => Monad (P repr) IO

Methods

bind :: P repr h (IO a -> (a -> IO b) -> IO b)

join :: P repr h (IO (IO a) -> IO a)

IO repr => Applicative (P repr) IO

Methods

pure :: P repr h (x -> IO x)

ap :: P repr h (IO (x -> y) -> IO x -> IO y)

IO repr => Functor (P repr) IO

Methods

map :: P repr h ((a -> b) -> IO a -> IO b)

know :: DBI repr => K repr h a -> repr h a -> (forall hout. EnvT repr h hout -> P repr hout a) -> (forall any. P repr (any, h) a) -> P repr h a

static :: forall repr h a. DBI repr => (forall h'. (K repr h' a, repr h' a)) -> P repr h a

isOpen :: P t2 t1 t -> Bool

type family K (repr :: * -> * -> *) h a

Instances

type K repr h ()

type K repr h () = ()

type K repr h Int

type K repr h Int = Int

type K repr h Char

type K repr h Char = Char

type K repr h Float

type K repr h Float = Float

type K repr h Double

type K repr h Double = Double

type K repr h Bool

type K repr h Bool = Bool

type K repr h (IO a)

type K repr h (IO a) = P repr h a

type K repr h (Maybe a)

type K repr h (Maybe a) = Maybe (P repr h a)

type K repr h [a]

type K repr h [a] = Maybe (P repr h a, P repr h [a])

type K repr h (Dual l r)

type K repr h (Dual l r) = (P repr h l, P repr h r)

type K repr h (Either a b)

type K repr h (Either a b) = Either (P repr h a) (P repr h b)

type K repr h (a, b)

type K repr h (a, b) = (P repr h a, P repr h b)

type K repr h (a -> b)

type K repr h (a -> b) = Fun repr h a b

mkFun :: DBI repr => (forall hout. EnvT repr (a, h) hout -> P repr hout b) -> P repr h (a -> b)

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

newtype Fun repr h a b

Constructors

Fun

Fields

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

data MapPE repr h k a :: * where

Constructors

EmptyMap :: MapPE repr h k a

SingletonMap :: P repr h k -> P repr h a -> MapPE repr h k a

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