cake3-0.6.4: Third cake the Makefile EDSL

Safe HaskellNone
LanguageHaskell98

Development.Cake3.Ext.UrWeb

Synopsis

Documentation

embeddedModuleName :: File -> String Source #

Converts FILE.urs to the Ur/Web module name

data UrpAllow Source #

Instances

Data UrpAllow Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UrpAllow -> c UrpAllow #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UrpAllow #

toConstr :: UrpAllow -> Constr #

dataTypeOf :: UrpAllow -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UrpAllow) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UrpAllow) #

gmapT :: (forall b. Data b => b -> b) -> UrpAllow -> UrpAllow #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UrpAllow -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UrpAllow -> r #

gmapQ :: (forall d. Data d => d -> u) -> UrpAllow -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UrpAllow -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UrpAllow -> m UrpAllow #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpAllow -> m UrpAllow #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpAllow -> m UrpAllow #

Show UrpAllow Source # 
ToUrpWord UrpAllow Source # 

data UrpRewrite Source #

Constructors

UrpStyle 
UrpAll 
UrpTable 

Instances

Data UrpRewrite Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UrpRewrite -> c UrpRewrite #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UrpRewrite #

toConstr :: UrpRewrite -> Constr #

dataTypeOf :: UrpRewrite -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UrpRewrite) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UrpRewrite) #

gmapT :: (forall b. Data b => b -> b) -> UrpRewrite -> UrpRewrite #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UrpRewrite -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UrpRewrite -> r #

gmapQ :: (forall d. Data d => d -> u) -> UrpRewrite -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UrpRewrite -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UrpRewrite -> m UrpRewrite #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpRewrite -> m UrpRewrite #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpRewrite -> m UrpRewrite #

Show UrpRewrite Source # 
ToUrpWord UrpRewrite Source # 

data UrpHdrToken Source #

Instances

Data UrpHdrToken Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UrpHdrToken -> c UrpHdrToken #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UrpHdrToken #

toConstr :: UrpHdrToken -> Constr #

dataTypeOf :: UrpHdrToken -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UrpHdrToken) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UrpHdrToken) #

gmapT :: (forall b. Data b => b -> b) -> UrpHdrToken -> UrpHdrToken #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UrpHdrToken -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UrpHdrToken -> r #

gmapQ :: (forall d. Data d => d -> u) -> UrpHdrToken -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UrpHdrToken -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UrpHdrToken -> m UrpHdrToken #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpHdrToken -> m UrpHdrToken #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpHdrToken -> m UrpHdrToken #

Show UrpHdrToken Source # 
ToUrpLine UrpHdrToken Source # 

data UrpModToken Source #

Instances

Data UrpModToken Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UrpModToken -> c UrpModToken #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UrpModToken #

toConstr :: UrpModToken -> Constr #

dataTypeOf :: UrpModToken -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UrpModToken) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UrpModToken) #

gmapT :: (forall b. Data b => b -> b) -> UrpModToken -> UrpModToken #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UrpModToken -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UrpModToken -> r #

gmapQ :: (forall d. Data d => d -> u) -> UrpModToken -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UrpModToken -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UrpModToken -> m UrpModToken #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpModToken -> m UrpModToken #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UrpModToken -> m UrpModToken #

Show UrpModToken Source # 
ModuleDecl UrpModToken Source # 

Methods

ur :: Monad m => UrpModToken -> UrpGen m () Source #

ToUrpLine UrpModToken Source # 

data SrcFile Source #

Constructors

SrcFile File String String 

Instances

Data SrcFile Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcFile -> c SrcFile #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcFile #

toConstr :: SrcFile -> Constr #

dataTypeOf :: SrcFile -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SrcFile) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcFile) #

gmapT :: (forall b. Data b => b -> b) -> SrcFile -> SrcFile #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcFile -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcFile -> r #

gmapQ :: (forall d. Data d => d -> u) -> SrcFile -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcFile -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcFile -> m SrcFile #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcFile -> m SrcFile #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcFile -> m SrcFile #

Show SrcFile Source # 

data DBString Source #

Constructors

DBString String 

Instances

Data DBString Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DBString -> c DBString #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DBString #

toConstr :: DBString -> Constr #

dataTypeOf :: DBString -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DBString) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DBString) #

gmapT :: (forall b. Data b => b -> b) -> DBString -> DBString #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DBString -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DBString -> r #

gmapQ :: (forall d. Data d => d -> u) -> DBString -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DBString -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DBString -> m DBString #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DBString -> m DBString #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DBString -> m DBString #

Show DBString Source # 
ToUrpLine DBString Source # 

data Urp Source #

Constructors

Urp 

Fields

Instances

Data Urp Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Urp -> c Urp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Urp #

toConstr :: Urp -> Constr #

dataTypeOf :: Urp -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Urp) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Urp) #

gmapT :: (forall b. Data b => b -> b) -> Urp -> Urp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Urp -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Urp -> r #

gmapQ :: (forall d. Data d => d -> u) -> Urp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Urp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Urp -> m Urp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Urp -> m Urp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Urp -> m Urp #

Show Urp Source # 

Methods

showsPrec :: Int -> Urp -> ShowS #

show :: Urp -> String #

showList :: [Urp] -> ShowS #

Monad m => MonadState Urp (UrpGen m) Source # 

Methods

get :: UrpGen m Urp #

put :: Urp -> UrpGen m () #

state :: (Urp -> (a, Urp)) -> UrpGen m a #

newtype UWLib Source #

Constructors

UWLib Urp 

Instances

Data UWLib Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UWLib -> c UWLib #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UWLib #

toConstr :: UWLib -> Constr #

dataTypeOf :: UWLib -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UWLib) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UWLib) #

gmapT :: (forall b. Data b => b -> b) -> UWLib -> UWLib #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UWLib -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UWLib -> r #

gmapQ :: (forall d. Data d => d -> u) -> UWLib -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UWLib -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UWLib -> m UWLib #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UWLib -> m UWLib #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UWLib -> m UWLib #

Show UWLib Source # 

Methods

showsPrec :: Int -> UWLib -> ShowS #

show :: UWLib -> String #

showList :: [UWLib] -> ShowS #

Monad m => LibraryDecl m UWLib Source # 

Methods

library :: UWLib -> UrpGen m () Source #

Monad m => RefInput (A' m) UWLib Source # 

Methods

refInput :: UWLib -> A' m Command Source #

newtype UWExe Source #

Constructors

UWExe Urp 

Instances

Data UWExe Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UWExe -> c UWExe #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UWExe #

toConstr :: UWExe -> Constr #

dataTypeOf :: UWExe -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UWExe) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UWExe) #

gmapT :: (forall b. Data b => b -> b) -> UWExe -> UWExe #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UWExe -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UWExe -> r #

gmapQ :: (forall d. Data d => d -> u) -> UWExe -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UWExe -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UWExe -> m UWExe #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UWExe -> m UWExe #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UWExe -> m UWExe #

Show UWExe Source # 

Methods

showsPrec :: Int -> UWExe -> ShowS #

show :: UWExe -> String #

showList :: [UWExe] -> ShowS #

Monad m => LibraryDecl m UWExe Source # 

Methods

library :: UWExe -> UrpGen m () Source #

Monad m => RefInput (A' m) UWExe Source # 

Methods

refInput :: UWExe -> A' m Command Source #

autogenDir :: Monad m => File -> UrpGen m File Source #

Returns autogen dir for the current module's file

class ToUrpWord a where Source #

Minimal complete definition

toUrpWord

Methods

toUrpWord :: a -> String Source #

newtype UrpGen m a Source #

Constructors

UrpGen 

Fields

Instances

Monad m => MonadState Urp (UrpGen m) Source # 

Methods

get :: UrpGen m Urp #

put :: Urp -> UrpGen m () #

state :: (Urp -> (a, Urp)) -> UrpGen m a #

Monad m => MonadUrpGen m (UrpGen m) Source # 

Methods

liftUrpGen :: m a -> UrpGen m a Source #

Monad m => Monad (UrpGen m) Source # 

Methods

(>>=) :: UrpGen m a -> (a -> UrpGen m b) -> UrpGen m b #

(>>) :: UrpGen m a -> UrpGen m b -> UrpGen m b #

return :: a -> UrpGen m a #

fail :: String -> UrpGen m a #

Functor m => Functor (UrpGen m) Source # 

Methods

fmap :: (a -> b) -> UrpGen m a -> UrpGen m b #

(<$) :: a -> UrpGen m b -> UrpGen m a #

Monad m => Applicative (UrpGen m) Source # 

Methods

pure :: a -> UrpGen m a #

(<*>) :: UrpGen m (a -> b) -> UrpGen m a -> UrpGen m b #

(*>) :: UrpGen m a -> UrpGen m b -> UrpGen m b #

(<*) :: UrpGen m a -> UrpGen m b -> UrpGen m a #

MonadIO m => MonadIO (UrpGen m) Source # 

Methods

liftIO :: IO a -> UrpGen m a #

MonadMake m => MonadMake (UrpGen m) Source # 

Methods

liftMake :: Make' IO a -> UrpGen m a Source #

Monad m => RefInput (UrpGen m) File Source # 

class (Monad m, Monad m1) => MonadUrpGen m1 m where Source #

Minimal complete definition

liftUrpGen

Methods

liftUrpGen :: m1 a -> m a Source #

Instances

Monad m => MonadUrpGen m (UrpGen m) Source # 

Methods

liftUrpGen :: m a -> UrpGen m a Source #

runUrpGen :: Monad m => File -> UrpGen m a -> m (a, Urp) Source #

genIn :: File -> [File] -> Writer String a -> Make File Source #

Produce fixed-content rule using f as a uniq name template, add additional dependencies ds

addSrc :: Monad m => SrcFile -> UrpGen m () Source #

addPatch :: Monad m => File -> UrpGen m () Source #

allow :: Monad m => UrpAllow -> String -> UrpGen m () Source #

class LibraryDecl m x where Source #

Minimal complete definition

library

Methods

library :: x -> UrpGen m () Source #

Instances

Monad m => LibraryDecl m UWExe Source # 

Methods

library :: UWExe -> UrpGen m () Source #

Monad m => LibraryDecl m UWLib Source # 

Methods

library :: UWLib -> UrpGen m () Source #

Monad m => LibraryDecl m File Source # 

Methods

library :: File -> UrpGen m () Source #

(Monad m, LibraryDecl m x) => LibraryDecl m (m x) Source # 

Methods

library :: m x -> UrpGen m () Source #

Monad m => LibraryDecl m (m File) Source # 

Methods

library :: m File -> UrpGen m () Source #

Monad m => LibraryDecl m [File] Source # 

Methods

library :: [File] -> UrpGen m () Source #

externalMake3 Source #

Arguments

:: File

External Makefile

-> File

External file to refer to

-> String

The name of the target to run

-> Make [File] 

Build a file using external Makefile facility.

externalMake' Source #

Arguments

:: File

External Makefile

-> File

External file to refer to

-> Make [File] 

Build a file using external Makefile facility.

externalMake Source #

Arguments

:: File

File from the external project to build

-> Make [File] 

Build a file from external project. It is expected, that this project has a Makwfile in it's root directory. Call Makefile with the default target

externalMakeTarget Source #

Arguments

:: File

File from the external project to build

-> String 
-> Make [File] 

Build a file from external project. It is expected, that this project has a Makwfile in it's root directory

externalMake2 :: File -> Make [File] Source #

Build a file from external project. It is expected, that this project has a fiel.mk (a Makefile with an unusual name) in it's root directory

class ModuleDecl x where Source #

Minimal complete definition

ur

Methods

ur :: Monad m => x -> UrpGen m () Source #

Instances

ModuleDecl File Source # 

Methods

ur :: Monad m => File -> UrpGen m () Source #

ModuleDecl UrpModToken Source # 

Methods

ur :: Monad m => UrpModToken -> UrpGen m () Source #

ModuleDecl (File, File) Source # 

Methods

ur :: Monad m => (File, File) -> UrpGen m () Source #

debug :: Monad m => UrpGen m () Source #

include :: Monad m => File -> UrpGen m () Source #

class LinkDecl x where Source #

Minimal complete definition

link

Methods

link :: MonadMake m => x -> UrpGen m () Source #

Instances

LinkDecl File Source # 

Methods

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

LinkDecl (File, String) Source # 

Methods

link :: MonadMake m => (File, String) -> UrpGen m () Source #

LinkDecl x => LinkDecl (Make' IO x) Source # 

Methods

link :: MonadMake m => Make' IO x -> UrpGen m () Source #

class SrcDecl x where Source #

Minimal complete definition

src

Methods

src :: MonadMake m => x -> UrpGen m () Source #

Instances

SrcDecl File Source # 

Methods

src :: MonadMake m => File -> UrpGen m () Source #

SrcDecl x => SrcDecl (Make x) Source # 

Methods

src :: MonadMake m => Make x -> UrpGen m () Source #

SrcDecl (File, String, String) Source # 

Methods

src :: MonadMake m => (File, String, String) -> UrpGen m () Source #

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

css :: MonadMake m => File -> UrpGen m () Source #

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

jsFunc :: Monad m => String -> String -> String -> UrpGen m () Source #

embed' :: MonadMake m => [String] -> Bool -> File -> UrpGen m () Source #

class EmbedDecl x where Source #

Minimal complete definition

embed

Methods

embed :: MonadMake m => x -> UrpGen m () Source #

Instances

file_ :: MonadMake m => String -> File -> UrpGen m () Source #