LambdaCube.Compiler

Documentation

data Backend :: *

Constructors

WebGL1

OpenGL33

Instances

Eq Backend

Ord Backend

Show Backend

ToJSON Backend

FromJSON Backend

data Pipeline :: *

Instances

Eq Pipeline

Ord Pipeline

Show Pipeline

ToJSON Pipeline

FromJSON Pipeline

data MMT m x a

Instances

Monad m => Monad (MMT m x)

Functor m => Functor (MMT m x)

Monad m => Applicative (MMT m x)

MonadThrow m => MonadThrow (MMT m x)

MonadCatch m => MonadCatch (MMT m x)

MonadMask m => MonadMask (MMT m x)

MonadIO m => MonadIO (MMT m x)

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

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

type MM = MMT IO Infos

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

catchErr :: (MonadCatch m, NFData a, MonadIO m) => (String -> m a) -> m a -> m a

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

decideFilePath :: FilePath -> Either FilePath FilePath

getDef :: MonadMask m => FilePath -> SName -> Maybe Exp -> MMT m Infos (Infos, Either String (FilePath, Either String (Exp, Exp)))

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

most commonly used interface for end users

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

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

compilePipeline :: Backend -> ExpType -> Pipeline

ppShow :: PShow a => a -> String

prettyShowUnlines :: Show a => a -> String