Language.Embedded.Signature

Language

data Ann exp a where

Signature annotations

Constructors

Empty :: Ann exp a

Native :: FreePred exp a => exp len -> Ann exp [a]

Named :: String -> Ann exp a

data Signature exp pred a where

Signatures

Constructors

Ret :: pred a => String -> exp a -> Signature exp pred a

Ptr :: pred a => String -> exp a -> Signature exp pred a

Lam :: pred a => Ann exp a -> (Val a -> Signature exp pred b) -> Signature exp pred (a -> b)

Combinators

lam :: (pred a, FreeExp exp, FreePred exp a) => (exp a -> Signature exp pred b) -> Signature exp pred (a -> b)

name :: (pred a, FreeExp exp, FreePred exp a) => String -> (exp a -> Signature exp pred b) -> Signature exp pred (a -> b)

ret :: pred a => String -> exp a -> Signature exp pred a

ptr :: pred a => String -> exp a -> Signature exp pred a

arg :: (pred a, FreeExp exp, FreePred exp a) => Ann exp a -> (exp a -> exp b) -> (exp b -> Signature exp pred c) -> Signature exp pred (a -> c)

Compilation

translateFunction :: forall m exp a. (MonadC m, CompExp exp) => Signature exp CType a -> m ()

Compile a function Signature to C code

argProxy :: Signature exp pred (b -> c) -> Proxy b