Development.Cake3.Ext.UrWeb

Documentation

data UrpAllow

Constructors

UrpMime

UrpUrl

Instances

Data UrpAllow

Show UrpAllow

Typeable UrpAllow

ToUrpWord UrpAllow

data UrpRewrite

Constructors

UrpStyle

Instances

Data UrpRewrite

Show UrpRewrite

Typeable UrpRewrite

ToUrpWord UrpRewrite

data UrpHdrToken

Constructors

UrpDatabase String

UrpSql File

UrpAllow UrpAllow String

UrpRewrite UrpRewrite String

UrpLibrary File

UrpDebug

UrpInclude File

UrpLink File

UrpFFI File

UrpJSFunc String String

UrpSafeGet String

Instances

Data UrpHdrToken

Show UrpHdrToken

Typeable UrpHdrToken

ToUrpLine UrpHdrToken

data UrpModToken

Constructors

UrpModule1 File

UrpModule2 File File

UrpModuleSys String

Instances

Data UrpModToken

Show UrpModToken

Typeable UrpModToken

ToUrpLine UrpModToken

data Urp

Constructors

Urp

Fields

urp :: File

uexe :: Maybe File

uhdr :: [UrpHdrToken]

umod :: [UrpModToken]

Instances

Data Urp

Show Urp

Typeable Urp

newtype UWLib

Constructors

UWLib Urp

Instances

Data UWLib

Show UWLib

Typeable UWLib

MonadAction a m => RefInput a m UWLib

newtype UWExe

Constructors

UWExe Urp

Instances

Data UWExe

Show UWExe

Typeable UWExe

MonadAction a m => RefInput a m UWExe

urpDeps :: Urp -> [File]

urpSql' :: Urp -> Maybe File

urpSql :: Urp -> File

urpObjs :: Urp -> [File]

urpLibs :: Urp -> [File]

urpExe :: Urp -> File

data UrpState

Constructors

UrpState

Fields

urpst :: Urp

Instances

Show UrpState

Monad m => MonadState UrpState (UrpGen m)

defState :: File -> UrpState

class ToUrpWord a where

Methods

toUrpWord :: a -> String

Instances

ToUrpWord UrpRewrite

ToUrpWord UrpAllow

class ToUrpLine a where

Methods

toUrpLine :: FilePath -> a -> String

Instances

ToUrpLine UrpModToken

ToUrpLine UrpHdrToken

newtype UrpGen m a

Constructors

UrpGen

Fields

unUrpGen :: StateT UrpState m a

Instances

Monad m => MonadState UrpState (UrpGen m)

Monad m => Monad (UrpGen m)

Functor m => Functor (UrpGen m)

(Monad m, Functor m) => Applicative (UrpGen m)

MonadIO m => MonadIO (UrpGen m)

MonadMake m => MonadMake (UrpGen m)

Monad m => MonadAction (UrpGen (A' m)) m

toFile :: MonadIO m => FileT FilePath -> Writer String a -> m ()

line :: MonadWriter String m => String -> m ()

uwlib :: File -> UrpGen (A' (Make' IO)) () -> Make UWLib

uwapp :: String -> File -> UrpGen (A' (Make' IO)) () -> Make UWExe

liftUrp :: t -> t

addHdr :: MonadState UrpState m => UrpHdrToken -> m ()

addMod :: MonadState UrpState m => UrpModToken -> m ()

database :: MonadMake m => String -> UrpGen m ()

allow :: MonadMake m => UrpAllow -> String -> UrpGen m ()

rewrite :: MonadMake m => UrpRewrite -> String -> UrpGen m ()

urpUp :: File -> FilePath

newtype UrEmbed

Constructors

Urembed File

Instances

Show UrEmbed

data UrpLibReference

Constructors

UrpLibStandalone File

UrpLibInternal UWLib

UrpLibEmbed UrEmbed

Instances

Show UrpLibReference

library' :: MonadMake m => File -> UrpGen m ()

library :: MonadMake m => UrpLibReference -> UrpGen m ()

standalone :: File -> UrpLibReference

internal :: UWLib -> UrpLibReference

embed :: UrEmbed -> UrpLibReference

module_ :: MonadMake m => UrpModToken -> UrpGen m ()

pair :: File -> UrpModToken

single :: File -> UrpModToken

sys :: String -> UrpModToken

debug :: MonadMake m => UrpGen m ()

include :: MonadMake m => File -> UrpGen m ()

link :: MonadMake m => File -> UrpGen m ()

ffi :: MonadMake m => File -> UrpGen m ()

sql :: MonadMake m => File -> UrpGen m ()

jsFunc :: MonadState UrpState m => String -> String -> m ()

safeGet :: MonadState UrpState m => String -> m ()

url :: UrpAllow

mime :: UrpAllow

style :: UrpRewrite

guessMime :: String -> [Char]

data JSFunc

Constructors

JSFunc

Fields

urdecl :: String

urname :: String

jsname :: String

Instances

Show JSFunc

data JSType

Constructors

JSType

Fields

urtdecl :: String

Instances

Show JSType

parse_js :: ByteString -> Make (Either String ([JSType], [JSFunc]))

Parse the JavaScript file, extract top-level functions, convert their signatures into Ur/Web format, return them as the list of strings

bin :: (MonadIO m, MonadMake m) => File -> File -> UrpGen m ()

bin' :: (MonadIO m, MonadMake m) => File -> FilePath -> ByteString -> UrpGen m ()