Intensional.Guard
newtype Guard Source #
Constructors
Fields
Defined in Intensional.Guard
Methods
(==) :: Guard -> Guard -> Bool #
(/=) :: Guard -> Guard -> Bool #
(<>) :: Guard -> Guard -> Guard #
sconcat :: NonEmpty Guard -> Guard #
stimes :: Integral b => b -> Guard -> Guard #
mempty :: Guard #
mappend :: Guard -> Guard -> Guard #
mconcat :: [Guard] -> Guard #
put_ :: BinHandle -> Guard -> IO () #
put :: BinHandle -> Guard -> IO (Bin Guard) #
get :: BinHandle -> IO Guard #
ppr :: Guard -> SDoc #
pprPrec :: Rational -> Guard -> SDoc #
domain :: Guard -> Domain Source #
rename :: RVar -> RVar -> Guard -> Guard Source #
prpr :: (RVar -> SDoc) -> Guard -> SDoc Source #
isEmpty :: Guard -> Bool Source #
toList :: Guard -> [(Int, Name, Name)] Source #
fromList :: [(Int, Name, Name)] -> Guard Source #
typedVars :: Guard -> Set (RVar, Name) Source #
lookup :: RVar -> Name -> Guard -> Maybe (UniqSet Name) Source #
delete :: Name -> RVar -> Name -> Guard -> Guard Source #
deleteAll :: [Name] -> RVar -> Name -> Guard -> Guard Source #
singleton :: [Name] -> RVar -> Name -> Guard Source #
impliedBy :: Guard -> Guard -> Bool Source #