Language.Sh.Map

Synopsis

Documentation

class (Monad m, Functor m) => ExpressionMapperM m f | f -> m whereSource

The idea here is to prevent duplicating code needlessly. We could go even more extreme and make a third parameter, but then we have WAY too many instances, and they all depend on every other one anyway... class Applicative a => ExpressionMapper a f t where mapSh :: f -> t -> a t

Methods

mapCommandsM :: f -> [Command] -> m [Command]Source

defaultMapCommandsM :: f -> [Command] -> m [Command]Source

mapCommandM :: f -> Command -> m Command Source

defaultMapCommandM :: f -> Command -> m Command Source

mapListM :: f -> AndOrList -> m AndOrList Source

defaultMapListM :: f -> AndOrList -> m AndOrList Source

mapPipelineM :: f -> Pipeline -> m Pipeline Source

defaultMapPipelineM :: f -> Pipeline -> m Pipeline Source

mapStatementM :: f -> Statement -> m Statement Source

defaultMapStatementM :: f -> Statement -> m Statement Source

mapCompoundM :: f -> CompoundStatement -> m CompoundStatement Source

defaultMapCompoundM :: f -> CompoundStatement -> m CompoundStatement Source

mapTermsM :: f -> Term -> m [Term]Source

defaultMapTermsM :: f -> Term -> m [Term]Source

mapTermM :: f -> Term -> m Term Source

defaultMapTermM :: f -> Term -> m Term Source

mapWordM :: f -> Word -> m Word Source

defaultMapWordM :: f -> Word -> m Word Source

mapLexemesM :: f -> Lexeme -> m [Lexeme]Source

defaultMapLexemesM :: f -> Lexeme -> m [Lexeme]Source

mapLexemeM :: f -> Lexeme -> m Lexeme Source

defaultMapLexemeM :: f -> Lexeme -> m Lexeme Source

mapExpansionM :: f -> Expansion -> m Expansion Source

defaultMapExpansionM :: f -> Expansion -> m Expansion Source

mapAssignmentM :: f -> Assignment -> m Assignment Source

defaultMapAssignmentM :: f -> Assignment -> m Assignment Source

mapRedirM :: f -> Redir -> m Redir Source

defaultMapRedirM :: f -> Redir -> m Redir Source

Instances

(Monad m, Functor m) => ExpressionMapperM m (Redir -> m Redir)
(Monad m, Functor m) => ExpressionMapperM m (Assignment -> m Assignment)
(Monad m, Functor m) => ExpressionMapperM m (Expansion -> m Expansion)
(Monad m, Functor m) => ExpressionMapperM m (Lexeme -> m [Lexeme])
(Monad m, Functor m) => ExpressionMapperM m (Lexeme -> m Lexeme)
(Monad m, Functor m) => ExpressionMapperM m (Word -> m Word)
(Monad m, Functor m) => ExpressionMapperM m (CompoundStatement -> m CompoundStatement)
(Monad m, Functor m) => ExpressionMapperM m (Statement -> m Statement)
(Monad m, Functor m) => ExpressionMapperM m (Pipeline -> m Pipeline)
(Monad m, Functor m) => ExpressionMapperM m (AndOrList -> m AndOrList)
(Monad m, Functor m) => ExpressionMapperM m (Command -> m Command)

class ExpressionMapper f whereSource

Methods

mapCommands :: f -> [Command] -> [Command]Source

defaultMapCommands :: f -> [Command] -> [Command]Source

mapCommand :: f -> Command -> Command Source

defaultMapCommand :: f -> Command -> Command Source

mapList :: f -> AndOrList -> AndOrList Source

defaultMapList :: f -> AndOrList -> AndOrList Source

mapPipeline :: f -> Pipeline -> Pipeline Source

defaultMapPipeline :: f -> Pipeline -> Pipeline Source

mapStatement :: f -> Statement -> Statement Source

defaultMapStatement :: f -> Statement -> Statement Source

mapCompound :: f -> CompoundStatement -> CompoundStatement Source

defaultMapCompound :: f -> CompoundStatement -> CompoundStatement Source

mapTerms :: f -> Term -> [Term]Source

defaultMapTerms :: f -> Term -> [Term]Source

mapTerm :: f -> Term -> Term Source

defaultMapTerm :: f -> Term -> Term Source

mapWord :: f -> Word -> Word Source

defaultMapWord :: f -> Word -> Word Source

mapLexemes :: f -> Lexeme -> [Lexeme]Source

defaultMapLexemes :: f -> Lexeme -> [Lexeme]Source

mapLexeme :: f -> Lexeme -> Lexeme Source

defaultMapLexeme :: f -> Lexeme -> Lexeme Source

mapExpansion :: f -> Expansion -> Expansion Source

defaultMapExpansion :: f -> Expansion -> Expansion Source

mapAssignment :: f -> Assignment -> Assignment Source

defaultMapAssignment :: f -> Assignment -> Assignment Source

mapRedir :: f -> Redir -> Redir Source

defaultMapRedir :: f -> Redir -> Redir Source

Instances

ExpressionMapper (Assignment -> Assignment)
ExpressionMapper (Redir -> Redir)
ExpressionMapper (Expansion -> Expansion)
ExpressionMapper (Lexeme -> [Lexeme])
ExpressionMapper (Lexeme -> Lexeme)
ExpressionMapper (Word -> Word)
ExpressionMapper (CompoundStatement -> CompoundStatement)
ExpressionMapper (Statement -> Statement)
ExpressionMapper (Pipeline -> Pipeline)
ExpressionMapper (AndOrList -> AndOrList)
ExpressionMapper (Command -> Command)