Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Types.Substitutions
Contents
Description
This module contains the various instances for Subable,
which (should) depend on the visitors, and hence cannot
be in the same place as the Term
definitions.
Documentation
isEmptySubst :: Subst -> Bool Source #
targetSubstSyms :: Subst -> [Symbol] Source #
Orphan instances
Show SortedReft Source # | |
Show Reft Source # | |
Monoid SortedReft Source # | |
Monoid Reft Source # | |
Monoid Expr Source # | |
Monoid Subst Source # | |
PPrint SortedReft Source # | |
PPrint Reft Source # | |
Fixpoint SortedReft Source # | |
Fixpoint Reft Source # | |
Reftable () Source # | |
Reftable SortedReft Source # | |
Reftable Reft Source # | |
Subable () Source # | |
Subable Symbol Source # | |
Subable SortedReft Source # | |
Subable Reft Source # | |
Subable Expr Source # | |
Subable a => Subable [a] Source # | |
(Subable a, Subable b) => Subable (a, b) Source # | |
Subable a => Subable (HashMap k a) Source # | |