DBI Eval Source #
Methods z :: Eval (a, h) a Source # s :: Eval h b -> Eval (a, h) b Source # lam :: Eval (a, h) b -> Eval h (a -> b) Source # app :: Eval h (a -> b) -> Eval h a -> Eval h b Source # mkProd :: Eval h (a -> b -> (a, b)) Source # zro :: Eval h ((a, b) -> a) Source # fst :: Eval h ((a, b) -> b) Source # lit :: Double -> Eval h Double Source # litZro :: Eval h Double Source # litOne :: Eval h Double Source # plus :: Eval h (Double -> Double -> Double) Source # minus :: Eval h (Double -> Double -> Double) Source # mult :: Eval h (Double -> Double -> Double) Source # divide :: Eval h (Double -> Double -> Double) Source # hoas :: (Eval (a, h) a -> Eval (a, h) b) -> Eval h (a -> b) Source # fix :: Eval h ((a -> a) -> a) Source # left :: Eval h (a -> Either a b) Source # right :: Eval h (b -> Either a b) Source # sumMatch :: Eval h ((a -> c) -> (b -> c) -> Either a b -> c) Source # unit :: Eval h () Source # exfalso :: Eval h (Void -> a) Source # nothing :: Eval h (Maybe a) Source # just :: Eval h (a -> Maybe a) Source # optionMatch :: Eval h (b -> (a -> b) -> Maybe a -> b) Source # ioRet :: Eval h (a -> IO a) Source # ioBind :: Eval h (IO a -> (a -> IO b) -> IO b) Source # ioMap :: Eval h ((a -> b) -> IO a -> IO b) Source # nil :: Eval h [a] Source # cons :: Eval h (a -> [a] -> [a]) Source # listMatch :: Eval h (b -> (a -> [a] -> b) -> [a] -> b) Source # com :: Eval h ((b -> c) -> (a -> b) -> a -> c) Source # append :: Eval h ([a] -> [a] -> [a]) Source # writer :: Eval h ((a, w) -> Writer w a) Source # runWriter :: Eval h (Writer w a -> (a, w)) Source # swap :: Eval h ((l, r) -> (r, l)) Source # flip :: Eval h ((a -> b -> c) -> b -> a -> c) Source # id :: Eval h (a -> a) Source # const :: Eval h (a -> b -> a) Source #
DBI repr => DBI (WDiff repr) Source #
Methods z :: WDiff repr (a, h) a Source # s :: WDiff repr h b -> WDiff repr (a, h) b Source # lam :: WDiff repr (a, h) b -> WDiff repr h (a -> b) Source # app :: WDiff repr h (a -> b) -> WDiff repr h a -> WDiff repr h b Source # mkProd :: WDiff repr h (a -> b -> (a, b)) Source # zro :: WDiff repr h ((a, b) -> a) Source # fst :: WDiff repr h ((a, b) -> b) Source # lit :: Double -> WDiff repr h Double Source # litZro :: WDiff repr h Double Source # litOne :: WDiff repr h Double Source # plus :: WDiff repr h (Double -> Double -> Double) Source # minus :: WDiff repr h (Double -> Double -> Double) Source # mult :: WDiff repr h (Double -> Double -> Double) Source # divide :: WDiff repr h (Double -> Double -> Double) Source # hoas :: (WDiff repr (a, h) a -> WDiff repr (a, h) b) -> WDiff repr h (a -> b) Source # fix :: WDiff repr h ((a -> a) -> a) Source # left :: WDiff repr h (a -> Either a b) Source # right :: WDiff repr h (b -> Either a b) Source # sumMatch :: WDiff repr h ((a -> c) -> (b -> c) -> Either a b -> c) Source # unit :: WDiff repr h () Source # exfalso :: WDiff repr h (Void -> a) Source # nothing :: WDiff repr h (Maybe a) Source # just :: WDiff repr h (a -> Maybe a) Source # optionMatch :: WDiff repr h (b -> (a -> b) -> Maybe a -> b) Source # ioRet :: WDiff repr h (a -> IO a) Source # ioBind :: WDiff repr h (IO a -> (a -> IO b) -> IO b) Source # ioMap :: WDiff repr h ((a -> b) -> IO a -> IO b) Source # nil :: WDiff repr h [a] Source # cons :: WDiff repr h (a -> [a] -> [a]) Source # listMatch :: WDiff repr h (b -> (a -> [a] -> b) -> [a] -> b) Source # com :: WDiff repr h ((b -> c) -> (a -> b) -> a -> c) Source # append :: WDiff repr h ([a] -> [a] -> [a]) Source # writer :: WDiff repr h ((a, w) -> Writer w a) Source # runWriter :: WDiff repr h (Writer w a -> (a, w)) Source # swap :: WDiff repr h ((l, r) -> (r, l)) Source # flip :: WDiff repr h ((a -> b -> c) -> b -> a -> c) Source # id :: WDiff repr h (a -> a) Source # const :: WDiff repr h (a -> b -> a) Source #
DBI (Show * *) Source #
Methods z :: Show * * (a, h) a Source # s :: Show * * h b -> Show * * (a, h) b Source # lam :: Show * * (a, h) b -> Show * * h (a -> b) Source # app :: Show * * h (a -> b) -> Show * * h a -> Show * * h b Source # mkProd :: Show * * h (a -> b -> (a, b)) Source # zro :: Show * * h ((a, b) -> a) Source # fst :: Show * * h ((a, b) -> b) Source # lit :: Double -> Show * * h Double Source # litZro :: Show * * h Double Source # litOne :: Show * * h Double Source # plus :: Show * * h (Double -> Double -> Double) Source # minus :: Show * * h (Double -> Double -> Double) Source # mult :: Show * * h (Double -> Double -> Double) Source # divide :: Show * * h (Double -> Double -> Double) Source # hoas :: (Show * * (a, h) a -> Show * * (a, h) b) -> Show * * h (a -> b) Source # fix :: Show * * h ((a -> a) -> a) Source # left :: Show * * h (a -> Either a b) Source # right :: Show * * h (b -> Either a b) Source # sumMatch :: Show * * h ((a -> c) -> (b -> c) -> Either a b -> c) Source # unit :: Show * * h () Source # exfalso :: Show * * h (Void -> a) Source # nothing :: Show * * h (Maybe a) Source # just :: Show * * h (a -> Maybe a) Source # optionMatch :: Show * * h (b -> (a -> b) -> Maybe a -> b) Source # ioRet :: Show * * h (a -> IO a) Source # ioBind :: Show * * h (IO a -> (a -> IO b) -> IO b) Source # ioMap :: Show * * h ((a -> b) -> IO a -> IO b) Source # nil :: Show * * h [a] Source # cons :: Show * * h (a -> [a] -> [a]) Source # listMatch :: Show * * h (b -> (a -> [a] -> b) -> [a] -> b) Source # com :: Show * * h ((b -> c) -> (a -> b) -> a -> c) Source # append :: Show * * h ([a] -> [a] -> [a]) Source # writer :: Show * * h ((a, w) -> Writer w a) Source # runWriter :: Show * * h (Writer w a -> (a, w)) Source # swap :: Show * * h ((l, r) -> (r, l)) Source # flip :: Show * * h ((a -> b -> c) -> b -> a -> c) Source # id :: Show * * h (a -> a) Source # const :: Show * * h (a -> b -> a) Source #

const1 :: DBI repr => repr h a -> repr h (b -> a) Source #

cons2 :: DBI repr => repr h a -> repr h [a] -> repr h [a] Source #

listMatch2 :: DBI repr => repr h a1 -> repr h (a -> [a] -> a1) -> repr h ([a] -> a1) Source #

fix2 :: DBI repr => repr h ((a -> b) -> a -> b) -> repr h a -> repr h b Source #

class DBI r => Monoid r m where Source #

Minimal complete definition

mzero, mappend

Methods

mzero :: r h m Source #

mappend :: r h (m -> m -> m) Source #

Instances

DBI r => Monoid r [a] Source #
Methods mzero :: r h [a] Source # mappend :: r h ([a] -> [a] -> [a]) Source #

class DBI r => Functor r f where Source #

Minimal complete definition

map

Methods

map :: r h ((a -> b) -> f a -> f b) Source #

Instances

DBI r => Functor r Maybe Source #
Methods map :: r h ((a -> b) -> Maybe a -> Maybe b) Source #
DBI r => Functor r IO Source #
Methods map :: r h ((a -> b) -> IO a -> IO b) Source #
DBI r => Functor r (Writer w) Source #
Methods map :: r h ((a -> b) -> Writer w a -> Writer w b) Source #

class Functor r a => Applicative r a where Source #

Minimal complete definition

pure, ap

Methods

pure :: r h (x -> a x) Source #

ap :: r h (a (x -> y) -> a x -> a y) Source #

Instances

DBI r => Applicative r Maybe Source #
Methods pure :: r h (x -> Maybe x) Source # ap :: r h (Maybe (x -> y) -> Maybe x -> Maybe y) Source #
DBI r => Applicative r IO Source #
Methods pure :: r h (x -> IO x) Source # ap :: r h (IO (x -> y) -> IO x -> IO y) Source #
(DBI r, Monoid r w) => Applicative r (Writer w) Source #
Methods pure :: r h (x -> Writer w x) Source # ap :: r h (Writer w (x -> y) -> Writer w x -> Writer w y) Source #

return :: Applicative r a => r h (x -> a x) Source #

class Applicative r m => Monad r m where Source #

Minimal complete definition

join | bind

Methods

bind :: r h (m a -> (a -> m b) -> m b) Source #

join :: r h (m (m a) -> m a) Source #

Instances

DBI r => Monad r Maybe Source #
Methods bind :: r h (Maybe a -> (a -> Maybe b) -> Maybe b) Source # join :: r h (Maybe (Maybe a) -> Maybe a) Source #
DBI r => Monad r IO Source #
Methods bind :: r h (IO a -> (a -> IO b) -> IO b) Source # join :: r h (IO (IO a) -> IO a) Source #
(DBI r, Monoid r w) => Monad r (Writer w) Source #
Methods bind :: r h (Writer w a -> (a -> Writer w b) -> Writer w b) Source # join :: r h (Writer w (Writer w a) -> Writer w a) Source #

bind2 :: Monad repr m => repr h (m a) -> repr h (a -> m b) -> repr h (m b) Source #

map1 :: Functor repr f => repr h (a -> b) -> repr h (f a -> f b) Source #

join1 :: Monad repr m => repr h (m (m a)) -> repr h (m a) Source #

bimap2 :: BiFunctor repr p => repr h (a -> b) -> repr h (c -> d) -> repr h (p a c -> p b d) Source #

flip1 :: DBI repr => repr h (a -> b -> c) -> repr h (b -> a -> c) Source #

flip2 :: DBI repr => repr h (a1 -> a -> c) -> repr h a -> repr h (a1 -> c) Source #

class DBI r => BiFunctor r p where Source #

Minimal complete definition

bimap

Methods

bimap :: r h ((a -> b) -> (c -> d) -> p a c -> p b d) Source #

Instances

DBI r => BiFunctor r (,) Source #
Methods bimap :: r h ((a -> b) -> (c -> d) -> (a, c) -> (b, d)) Source #

writer1 :: DBI repr => repr h (a, w) -> repr h (Writer w a) Source #

runWriter1 :: DBI repr => repr h (Writer w a) -> repr h (a, w) Source #

mappend2 :: Monoid repr b => repr h b -> repr h b -> repr h b Source #

ioBind2 :: DBI repr => repr h (IO a) -> repr h (a -> IO b) -> repr h (IO b) Source #

app3 :: DBI repr => repr h (a2 -> a1 -> a -> b) -> repr h a2 -> repr h a1 -> repr h a -> repr h b Source #

optionMatch3 :: DBI repr => repr h b -> repr h (a -> b) -> repr h (Maybe a) -> repr h b Source #

optionMatch2 :: DBI repr => repr h a1 -> repr h (a -> a1) -> repr h (Maybe a -> a1) Source #

com2 :: DBI repr => repr h (b -> c) -> repr h (a -> b) -> repr h (a -> c) Source #

newtype Eval h x Source #

Constructors

Eval
Fields runEval :: h -> x

Instances

DBI Eval Source #

comb :: x -> Eval h x Source #

data AST Source #

Constructors

Leaf String
App String AST [AST]
Lam String [String] AST

Instances

Show AST Source #
Methods showsPrec :: Int -> AST -> ShowS # show :: AST -> String # showList :: [AST] -> ShowS #

appAST :: AST -> AST -> AST Source #

lamAST :: String -> AST -> AST Source #

newtype Show h a Source #

Constructors

Show
Fields runShow :: [String] -> Int -> AST

Instances

DBI (Show * *) Source #

name :: String -> Show k k1 h a Source #

class NT repr l r where Source #

Minimal complete definition

conv

Methods

conv :: repr l t -> repr r t Source #

Instances

NT k k1 repr x x Source #
Methods conv :: x l t -> x r t Source #
(DBI repr, NT * * repr l r) => NT * * repr l (a, r) Source #
Methods conv :: (a, r) l t -> (a, r) r t Source #

hlam :: forall repr a b h. DBI repr => ((forall k. NT repr (a, h) k => repr k a) -> repr (a, h) b) -> repr h (a -> b) Source #

type family Diff x Source #

Instances

type Diff Double Source #
type Diff Double = (Double, Double)
type Diff () Source #
type Diff () = ()
type Diff Void Source #
type Diff Void = Void
type Diff [a] Source #
type Diff [a] = [Diff a]
type Diff (Maybe a) Source #
type Diff (Maybe a) = Maybe (Diff a)
type Diff (IO a) Source #
type Diff (IO a) = IO (Diff a)
type Diff (a -> b) Source #
type Diff (a -> b) = Diff a -> Diff b
type Diff (Either a b) Source #
type Diff (Either a b) = Either (Diff a) (Diff b)
type Diff (a, b) Source #
type Diff (a, b) = (Diff a, Diff b)
type Diff (Writer w a) Source #
type Diff (Writer w a) = Writer (Diff w) (Diff a)

newtype WDiff repr h x Source #

Constructors

WDiff
Fields runWDiff :: repr (Diff h) (Diff x)

Instances

DBI repr => DBI (WDiff repr) Source #

app2 :: DBI repr => repr h (a1 -> a -> b) -> repr h a1 -> repr h a -> repr h b Source #

mkProd1 :: DBI repr => repr h a -> repr h (b -> (a, b)) Source #

mkProd2 :: DBI repr => repr h a1 -> repr h a -> repr h (a1, a) Source #

plus2 :: DBI repr => repr h Double -> repr h Double -> repr h Double Source #

zro1 :: DBI repr => repr h (b1, b) -> repr h b1 Source #

fst1 :: DBI repr => repr h (a, b) -> repr h b Source #

minus2 :: DBI repr => repr h Double -> repr h Double -> repr h Double Source #

mult2 :: DBI repr => repr h Double -> repr h Double -> repr h Double Source #

divide2 :: DBI repr => repr h Double -> repr h Double -> repr h Double Source #

scomb :: DBI repr => repr h ((a1 -> a -> b) -> (a1 -> a) -> a1 -> b) Source #

noEnv :: repr () x -> repr () x Source #