Language.Fixpoint.Types.Templates

Documentation

anything :: Templates

data Templates

Instances

Show Templates

Defined in Language.Fixpoint.Types.Templates

Methods

showsPrec :: Int -> Templates -> ShowS

show :: Templates -> String

showList :: [Templates] -> ShowS

Semigroup Templates

Defined in Language.Fixpoint.Types.Templates

Methods

(<>) :: Templates -> Templates -> Templates

sconcat :: NonEmpty Templates -> Templates

stimes :: Integral b => b -> Templates -> Templates

Monoid Templates

Defined in Language.Fixpoint.Types.Templates

Methods

mempty :: Templates

mappend :: Templates -> Templates -> Templates

mconcat :: [Templates] -> Templates

PPrint Templates

Defined in Language.Fixpoint.Types.Templates

Methods

pprintTidy :: Tidy -> Templates -> Doc

pprintPrec :: Int -> Tidy -> Templates -> Doc

makeTemplates :: [([Symbol], Expr)] -> Templates

isEmptyTemplates :: Templates -> Bool

isAnyTemplates :: Templates -> Bool

matchesTemplates :: Templates -> Expr -> Bool

filterUnMatched :: HasTemplates a => Templates -> a -> a