Language.Parser.Ptera.Data.Symbolic.IntSet

Documentation

type T = IntSet

type Key = Int

data IntSet

Constructors

StraightSet IntSet

NegativeSet IntSet

Instances

Monoid IntSet

Defined in Language.Parser.Ptera.Data.Symbolic.IntSet

Methods

mempty :: IntSet

mappend :: IntSet -> IntSet -> IntSet

mconcat :: [IntSet] -> IntSet

Semigroup IntSet

Defined in Language.Parser.Ptera.Data.Symbolic.IntSet

Methods

(<>) :: IntSet -> IntSet -> IntSet

sconcat :: NonEmpty IntSet -> IntSet

stimes :: Integral b => b -> IntSet -> IntSet

Show IntSet

Defined in Language.Parser.Ptera.Data.Symbolic.IntSet

Methods

showsPrec :: Int -> IntSet -> ShowS

show :: IntSet -> String

showList :: [IntSet] -> ShowS

Eq IntSet

Defined in Language.Parser.Ptera.Data.Symbolic.IntSet

Methods

(==) :: IntSet -> IntSet -> Bool

(/=) :: IntSet -> IntSet -> Bool

full :: IntSet

singleton :: Key -> IntSet

invert :: IntSet -> IntSet

fromList :: [Key] -> IntSet

insert :: Key -> IntSet -> IntSet

delete :: Key -> IntSet -> IntSet

member :: Key -> IntSet -> Bool

union :: IntSet -> IntSet -> IntSet

intersection :: IntSet -> IntSet -> IntSet

difference :: IntSet -> IntSet -> IntSet