Domain.Math.Data.OrList

Documentation

data OrList a

Instances

Functor OrList

Defined in Domain.Math.Data.OrList

Methods

fmap :: (a -> b) -> OrList a -> OrList b

(<$) :: a -> OrList b -> OrList a

Foldable OrList

Defined in Domain.Math.Data.OrList

Methods

fold :: Monoid m => OrList m -> m

foldMap :: Monoid m => (a -> m) -> OrList a -> m

foldr :: (a -> b -> b) -> b -> OrList a -> b

foldr' :: (a -> b -> b) -> b -> OrList a -> b

foldl :: (b -> a -> b) -> b -> OrList a -> b

foldl' :: (b -> a -> b) -> b -> OrList a -> b

foldr1 :: (a -> a -> a) -> OrList a -> a

foldl1 :: (a -> a -> a) -> OrList a -> a

toList :: OrList a -> [a]

null :: OrList a -> Bool

length :: OrList a -> Int

elem :: Eq a => a -> OrList a -> Bool

maximum :: Ord a => OrList a -> a

minimum :: Ord a => OrList a -> a

sum :: Num a => OrList a -> a

product :: Num a => OrList a -> a

Traversable OrList

Defined in Domain.Math.Data.OrList

Methods

traverse :: Applicative f => (a -> f b) -> OrList a -> f (OrList b)

sequenceA :: Applicative f => OrList (f a) -> f (OrList a)

mapM :: Monad m => (a -> m b) -> OrList a -> m (OrList b)

sequence :: Monad m => OrList (m a) -> m (OrList a)

Container OrList

Defined in Domain.Math.Data.OrList

Methods

singleton :: a -> OrList a

getSingleton :: OrList a -> Maybe a

Eq a => Eq (OrList a)

Defined in Domain.Math.Data.OrList

Methods

(==) :: OrList a -> OrList a -> Bool

(/=) :: OrList a -> OrList a -> Bool

Ord a => Ord (OrList a)

Defined in Domain.Math.Data.OrList

Methods

compare :: OrList a -> OrList a -> Ordering

(<) :: OrList a -> OrList a -> Bool

(<=) :: OrList a -> OrList a -> Bool

(>) :: OrList a -> OrList a -> Bool

(>=) :: OrList a -> OrList a -> Bool

max :: OrList a -> OrList a -> OrList a

min :: OrList a -> OrList a -> OrList a

Show a => Show (OrList a)

Defined in Domain.Math.Data.OrList

Methods

showsPrec :: Int -> OrList a -> ShowS

show :: OrList a -> String

showList :: [OrList a] -> ShowS

Semigroup (OrList a)

Defined in Domain.Math.Data.OrList

Methods

(<>) :: OrList a -> OrList a -> OrList a

sconcat :: NonEmpty (OrList a) -> OrList a

stimes :: Integral b => b -> OrList a -> OrList a

Monoid (OrList a)

Defined in Domain.Math.Data.OrList

Methods

mempty :: OrList a

mappend :: OrList a -> OrList a -> OrList a

mconcat :: [OrList a] -> OrList a

BoolValue (OrList a)

Defined in Domain.Math.Data.OrList

Methods

true :: OrList a

false :: OrList a

fromBool :: Bool -> OrList a

isTrue :: OrList a -> Bool

isFalse :: OrList a -> Bool

CoMonoidZero (OrList a)

Defined in Domain.Math.Data.OrList

Methods

isMonoidZero :: OrList a -> Bool

CoMonoid (OrList a)

Defined in Domain.Math.Data.OrList

Methods

isEmpty :: OrList a -> Bool

isAppend :: OrList a -> Maybe (OrList a, OrList a)

MonoidZero (OrList a)

Defined in Domain.Math.Data.OrList

Methods

mzero :: OrList a

Arbitrary a => Arbitrary (OrList a)

Defined in Domain.Math.Data.OrList

Methods

arbitrary :: Gen (OrList a)

shrink :: OrList a -> [OrList a]

IsTerm a => IsTerm (OrList a)

Defined in Domain.Math.Data.OrList

Methods

toTerm :: OrList a -> Term

toTermList :: [OrList a] -> Term

fromTerm :: MonadPlus m => Term -> m (OrList a)

fromTermList :: MonadPlus m => Term -> m [OrList a]

data OrSet a

Instances

Container OrSet

Defined in Domain.Math.Data.OrList

Methods

singleton :: a -> OrSet a

getSingleton :: OrSet a -> Maybe a

Eq a => Eq (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

(==) :: OrSet a -> OrSet a -> Bool

(/=) :: OrSet a -> OrSet a -> Bool

Ord a => Ord (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

compare :: OrSet a -> OrSet a -> Ordering

(<) :: OrSet a -> OrSet a -> Bool

(<=) :: OrSet a -> OrSet a -> Bool

(>) :: OrSet a -> OrSet a -> Bool

(>=) :: OrSet a -> OrSet a -> Bool

max :: OrSet a -> OrSet a -> OrSet a

min :: OrSet a -> OrSet a -> OrSet a

(Show a, Ord a) => Show (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

showsPrec :: Int -> OrSet a -> ShowS

show :: OrSet a -> String

showList :: [OrSet a] -> ShowS

Ord a => Semigroup (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

(<>) :: OrSet a -> OrSet a -> OrSet a

sconcat :: NonEmpty (OrSet a) -> OrSet a

stimes :: Integral b => b -> OrSet a -> OrSet a

Ord a => Monoid (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

mempty :: OrSet a

mappend :: OrSet a -> OrSet a -> OrSet a

mconcat :: [OrSet a] -> OrSet a

Ord a => BoolValue (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

true :: OrSet a

false :: OrSet a

fromBool :: Bool -> OrSet a

isTrue :: OrSet a -> Bool

isFalse :: OrSet a -> Bool

CoMonoidZero (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

isMonoidZero :: OrSet a -> Bool

CoMonoid (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

isEmpty :: OrSet a -> Bool

isAppend :: OrSet a -> Maybe (OrSet a, OrSet a)

Ord a => MonoidZero (OrSet a)

Defined in Domain.Math.Data.OrList

Methods

mzero :: OrSet a

true :: BoolValue a => a

false :: BoolValue a => a

(<>) :: Semigroup a => a -> a -> a infixr 6

An associative operation.

isTrue :: BoolValue a => a -> Bool

isFalse :: BoolValue a => a -> Bool

fromBool :: BoolValue a => Bool -> a

toOrList :: [a] -> OrList a

noDuplicates :: Eq a => OrList a -> OrList a

Remove duplicates

catOrList :: OrList (OrList a) -> OrList a

oneDisjunct :: Monad m => (a -> m (OrList a)) -> OrList a -> m (OrList a)

orListView :: View (Logic a) (OrList a)

orSetView :: Ord a => View (OrList a) (OrSet a)