liquid-fixpoint-0.8.0.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Types.Templates

Documentation

anything :: Templates Source #

data Templates Source #

Instances
Show Templates Source # 
Instance details

Defined in Language.Fixpoint.Types.Templates

Methods

showsPrec :: Int -> Templates -> ShowS #

show :: Templates -> String #

showList :: [Templates] -> ShowS #

Semigroup Templates Source # 
Instance details

Defined in Language.Fixpoint.Types.Templates

Methods

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

sconcat :: NonEmpty Templates -> Templates #

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

Monoid Templates Source # 
Instance details

Defined in Language.Fixpoint.Types.Templates

Methods

mempty :: Templates #

mappend :: Templates -> Templates -> Templates #

mconcat :: [Templates] -> Templates #

PPrint Templates Source # 
Instance details

Defined in Language.Fixpoint.Types.Templates

Methods

pprintTidy :: Tidy -> Templates -> Doc Source #

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

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

isEmptyTemplates :: Templates -> Bool Source #

isAnyTemplates :: Templates -> Bool Source #

matchesTemplates :: Templates -> Expr -> Bool Source #

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