Text.Chatty.Expansion

Provides generic string expansion

Documentation

class Monad e => ChExpand e where

Typeclass for all string-expanding monads.

Methods

expand :: String -> e String

Expand the given string.

Instances

ChExpand IO

ChExpand m0 => ChExpand (AtomStoreT m)

ChExpand m0 => ChExpand (CounterT m)

ChExpand m0 => ChExpand (HandleCloserT m)

ChExpand m0 => ChExpand (InRedirT m)

ChExpand m0 => ChExpand (QuietT m)

ChExpand m0 => ChExpand (HereStringT m)

ChExpand m0 => ChExpand (ScannerBufferT m)

ChExpand m0 => ChExpand (RecorderT m)

ChExpand m0 => ChExpand (OutRedirT m)

ChExpand m0 => ChExpand (DeafT m)

ChExpand m0 => ChExpand (SpawnOverlayT m)

ChExpand m0 => ChExpand (JoinerT m)

ChExpand m0 => ChExpand (HandleFilterT m)

ChExpand m0 => ChExpand (BoolFilterT m)

ChExpand m0 => ChExpand (IntFilterT m)

ChExpand m0 => ChExpand (HandleArchiverT m)

ChExpand m0 => ChExpand (BoolArchiverT m)

ChExpand m0 => ChExpand (IntArchiverT m)

ChExpand m0 => ChExpand (NullFsT m)

Monad m => ChExpand (NullExpanderT m)

ChExpand m => ChExpand (ExpanderT m)

ChExpand m => ChExpand (HistoryT m)

(Functor m, ChExpand m) => ChExpand (HtmlPrinterT m)

(Functor m, ChExpand m) => ChExpand (AnsiPrinterT m)

newtype NullExpanderT m a

Constructors

NullExpander

Fields

runNullExpanderT :: m a

Instances

MonadTrans NullExpanderT

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (NullExpanderT m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (NullExpanderT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (NullExpanderT m)

Monad m => Monad (NullExpanderT m)

Functor m => Functor (NullExpanderT m)

ChAtoms m0 => ChAtoms (NullExpanderT m)

ChCounter m0 => ChCounter (NullExpanderT m)

MonadIO m => MonadIO (NullExpanderT m)

ChRandom m0 => ChRandom (NullExpanderT m)

ChClock m0 => ChClock (NullExpanderT m)

ChFinalizer m0 => ChFinalizer (NullExpanderT m)

ChScanner m0 => ChScanner (NullExpanderT m)

ChBufferedScanner m0 => ChBufferedScanner (NullExpanderT m)

ChPrinter m0 => ChPrinter (NullExpanderT m)

ChSpawn m0 => ChSpawn (NullExpanderT m)

(ChAtoms (NullExpanderT m0), ChFilesystem m0) => ChFilesystem (NullExpanderT m)

ChExtendedPrinter m0 => ChExtendedPrinter (NullExpanderT m)

Monad m => ChExpand (NullExpanderT m)

CanMount m0 n0 => CanMount (NullExpanderT m) n

CanSave m0 n0 => CanSave (NullExpanderT m) n

CanLoad m0 n0 => CanLoad (NullExpanderT m) n

withExpansion :: Monad m => NullExpanderT m a -> m a