Chatty.Expansion

Documentation

data EnvVar

Constructors

NotSet

Literal String

forall a . Show a => Scalar a

Array [EnvVar]

Instances

Show EnvVar

newtype ExpanderT m a

Constructors

Expander

Fields

runExpanderT :: [(String, EnvVar)] -> m (a, [(String, EnvVar)])

Instances

MonadTrans ExpanderT

Monad m => Monad (ExpanderT m)

Monad m => Functor (ExpanderT m)

MonadIO m => MonadIO (ExpanderT m)

MonadRandom m0 => MonadRandom (ExpanderT m0)

MonadClock m0 => MonadClock (ExpanderT m0)

MonadFinalizer m0 => MonadFinalizer (ExpanderT m0)

MonadScanner m0 => MonadScanner (ExpanderT m0)

MonadPrinter m0 => MonadPrinter (ExpanderT m0)

MonadSpawn m0 => MonadSpawn (ExpanderT m0)

ExtendedPrinter m0 => ExtendedPrinter (ExpanderT m0)

Monad m => MonadExpand (ExpanderT m)

Monad m => ExpanderEnv (ExpanderT m)

localEnvironment :: Functor m => ExpanderT m a -> m a

forkEnvironment :: (Functor m, Monad m, MonadIO m) => ExpanderT m a -> m a

exportAll :: (Monad m, MonadIO m) => ExpanderT m ()

class Monad ee => ExpanderEnv ee where

Methods

mgetv :: String -> ee EnvVar

mputv :: String -> EnvVar -> ee ()

Instances

ExpanderEnv IO

ExpanderEnv m0 => ExpanderEnv (HandleCloserT m0)

ExpanderEnv m0 => ExpanderEnv (InRedirT m0)

ExpanderEnv m0 => ExpanderEnv (QuietT m0)

ExpanderEnv m0 => ExpanderEnv (HereStringT m0)

ExpanderEnv m0 => ExpanderEnv (RecorderT m0)

ExpanderEnv m0 => ExpanderEnv (OutRedirT m0)

ExpanderEnv m0 => ExpanderEnv (DeafT m0)

ExpanderEnv m0 => ExpanderEnv (SpawnOverlayT m0)

ExpanderEnv m0 => ExpanderEnv (HtmlPrinterT m0)

ExpanderEnv m0 => ExpanderEnv (AnsiPrinterT m0)

Monad m => ExpanderEnv (ExpanderT m)

class Monad e => MonadExpand e where

Methods

expand :: String -> e String

Instances

MonadExpand IO

MonadExpand m0 => MonadExpand (HandleCloserT m0)

MonadExpand m0 => MonadExpand (InRedirT m0)

MonadExpand m0 => MonadExpand (QuietT m0)

MonadExpand m0 => MonadExpand (HereStringT m0)

MonadExpand m0 => MonadExpand (RecorderT m0)

MonadExpand m0 => MonadExpand (OutRedirT m0)

MonadExpand m0 => MonadExpand (DeafT m0)

MonadExpand m0 => MonadExpand (SpawnOverlayT m0)

MonadExpand m0 => MonadExpand (HtmlPrinterT m0)

MonadExpand m0 => MonadExpand (AnsiPrinterT m0)

Monad m => MonadExpand (ExpanderT m)

expandVars :: (Monad m, Functor m, ExpanderEnv m) => String -> m String

isAnum :: Char -> Bool