LambdaCube.Compiler

Documentation

data Backend :: *

Constructors

WebGL1

OpenGL33

Instances

Eq Backend

Methods

(==) :: Backend -> Backend -> Bool

(/=) :: Backend -> Backend -> Bool

Ord Backend

Methods

compare :: Backend -> Backend -> Ordering

(<) :: Backend -> Backend -> Bool

(<=) :: Backend -> Backend -> Bool

(>) :: Backend -> Backend -> Bool

(>=) :: Backend -> Backend -> Bool

max :: Backend -> Backend -> Backend

min :: Backend -> Backend -> Backend

Show Backend

Methods

showsPrec :: Int -> Backend -> ShowS

show :: Backend -> String

showList :: [Backend] -> ShowS

ToJSON Backend

Methods

toJSON :: Backend -> Value

toEncoding :: Backend -> Encoding

FromJSON Backend

Methods

parseJSON :: Value -> Parser Backend

data Pipeline :: *

Instances

Eq Pipeline

Methods

(==) :: Pipeline -> Pipeline -> Bool

(/=) :: Pipeline -> Pipeline -> Bool

Ord Pipeline

Methods

compare :: Pipeline -> Pipeline -> Ordering

(<) :: Pipeline -> Pipeline -> Bool

(<=) :: Pipeline -> Pipeline -> Bool

(>) :: Pipeline -> Pipeline -> Bool

(>=) :: Pipeline -> Pipeline -> Bool

max :: Pipeline -> Pipeline -> Pipeline

min :: Pipeline -> Pipeline -> Pipeline

Show Pipeline

Methods

showsPrec :: Int -> Pipeline -> ShowS

show :: Pipeline -> String

showList :: [Pipeline] -> ShowS

ToJSON Pipeline

Methods

toJSON :: Pipeline -> Value

toEncoding :: Pipeline -> Encoding

FromJSON Pipeline

Methods

parseJSON :: Value -> Parser Pipeline

data MMT m x a

Instances

Monad m => Monad (MMT m x)

Methods

(>>=) :: MMT m x a -> (a -> MMT m x b) -> MMT m x b

(>>) :: MMT m x a -> MMT m x b -> MMT m x b

return :: a -> MMT m x a

fail :: String -> MMT m x a

Functor m => Functor (MMT m x)

Methods

fmap :: (a -> b) -> MMT m x a -> MMT m x b

(<$) :: a -> MMT m x b -> MMT m x a

Monad m => Applicative (MMT m x)

Methods

pure :: a -> MMT m x a

(<*>) :: MMT m x (a -> b) -> MMT m x a -> MMT m x b

(*>) :: MMT m x a -> MMT m x b -> MMT m x b

(<*) :: MMT m x a -> MMT m x b -> MMT m x a

MonadIO m => MonadIO (MMT m x)

Methods

liftIO :: IO a -> MMT m x a

MonadThrow m => MonadThrow (MMT m x)

Methods

throwM :: Exception e => e -> MMT m x a

MonadCatch m => MonadCatch (MMT m x)

Methods

catch :: Exception e => MMT m x a -> (e -> MMT m x a) -> MMT m x a

MonadMask m => MonadMask (MMT m x)

Methods

mask :: ((forall a. MMT m x a -> MMT m x a) -> MMT m x b) -> MMT m x b

uninterruptibleMask :: ((forall a. MMT m x a -> MMT m x a) -> MMT m x b) -> MMT m x b

runMMT :: MMT m x a -> ReaderT (ModuleFetcher (MMT m x)) (StateT (Modules x) m) a

mapMMT :: (ReaderT * (ModuleFetcher (MMT t2 t1)) (StateT (Modules t1) t2) t -> ReaderT * (ModuleFetcher (MMT m x)) (StateT (Modules x) m) a) -> MMT t2 t1 t -> MMT m x a

type MM = MMT IO Infos

runMM :: Monad m => ModuleFetcher (MMT m x) -> MMT m x a -> m a

ioFetch :: MonadIO m => [FilePath] -> ModuleFetcher (MMT m x)

decideFilePath :: FilePath -> Either FilePath FilePath

loadModule :: MonadMask m => ((Infos, [Stmt]) -> x) -> Maybe FilePath -> Either FilePath MName -> MMT m x (Either Doc (FileInfo, Module' x))

getDef :: MonadMask m => FilePath -> SName -> Maybe Exp -> MMT m (Infos, [Stmt]) ((Infos, [Stmt]), Either Doc (FileInfo, Either Doc ExpType))

compileMain :: [FilePath] -> Backend -> MName -> IO (Either Doc Pipeline)

most commonly used interface for end users

parseModule :: [FilePath] -> MName -> IO (Either Doc String)

preCompile :: (MonadMask m, MonadIO m) => [FilePath] -> [FilePath] -> Backend -> FilePath -> IO (String -> m (Either Doc Pipeline, (Infos, String)))

removeFromCache :: Monad m => FilePath -> MMT m x ()

compilePipeline :: Backend -> ExpType -> Pipeline

ppShow :: PShow a => a -> String

plainShow :: PShow a => a -> String

prettyShowUnlines :: Show a => a -> String