Data.SRTree.EqSat
Contents
simplifyEqSat :: Fix SRTree -> Fix SRTree Source #
Methods
fold :: Monoid m => SRTree m -> m Source #
foldMap :: Monoid m => (a -> m) -> SRTree a -> m Source #
foldMap' :: Monoid m => (a -> m) -> SRTree a -> m Source #
foldr :: (a -> b -> b) -> b -> SRTree a -> b Source #
foldr' :: (a -> b -> b) -> b -> SRTree a -> b Source #
foldl :: (b -> a -> b) -> b -> SRTree a -> b Source #
foldl' :: (b -> a -> b) -> b -> SRTree a -> b Source #
foldr1 :: (a -> a -> a) -> SRTree a -> a Source #
foldl1 :: (a -> a -> a) -> SRTree a -> a Source #
toList :: SRTree a -> [a] Source #
null :: SRTree a -> Bool Source #
length :: SRTree a -> Int Source #
elem :: Eq a => a -> SRTree a -> Bool Source #
maximum :: Ord a => SRTree a -> a Source #
minimum :: Ord a => SRTree a -> a Source #
sum :: Num a => SRTree a -> a Source #
product :: Num a => SRTree a -> a Source #
liftEq :: (a -> b -> Bool) -> SRTree a -> SRTree b -> Bool Source #
liftCompare :: (a -> b -> Ordering) -> SRTree a -> SRTree b -> Ordering Source #
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> SRTree a -> ShowS Source #
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [SRTree a] -> ShowS Source #
traverse :: Applicative f => (a -> f b) -> SRTree a -> f (SRTree b) Source #
sequenceA :: Applicative f => SRTree (f a) -> f (SRTree a) Source #
mapM :: Monad m => (a -> m b) -> SRTree a -> m (SRTree b) Source #
sequence :: Monad m => SRTree (m a) -> m (SRTree a) Source #
pi :: Pattern SRTree Source #
exp :: Pattern SRTree -> Pattern SRTree Source #
log :: Pattern SRTree -> Pattern SRTree Source #
sqrt :: Pattern SRTree -> Pattern SRTree Source #
(**) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
logBase :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
sin :: Pattern SRTree -> Pattern SRTree Source #
cos :: Pattern SRTree -> Pattern SRTree Source #
tan :: Pattern SRTree -> Pattern SRTree Source #
asin :: Pattern SRTree -> Pattern SRTree Source #
acos :: Pattern SRTree -> Pattern SRTree Source #
atan :: Pattern SRTree -> Pattern SRTree Source #
sinh :: Pattern SRTree -> Pattern SRTree Source #
cosh :: Pattern SRTree -> Pattern SRTree Source #
tanh :: Pattern SRTree -> Pattern SRTree Source #
asinh :: Pattern SRTree -> Pattern SRTree Source #
acosh :: Pattern SRTree -> Pattern SRTree Source #
atanh :: Pattern SRTree -> Pattern SRTree Source #
log1p :: Pattern SRTree -> Pattern SRTree Source #
expm1 :: Pattern SRTree -> Pattern SRTree Source #
log1pexp :: Pattern SRTree -> Pattern SRTree Source #
log1mexp :: Pattern SRTree -> Pattern SRTree Source #
(+) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
(-) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
(*) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
negate :: Pattern SRTree -> Pattern SRTree Source #
abs :: Pattern SRTree -> Pattern SRTree Source #
signum :: Pattern SRTree -> Pattern SRTree Source #
fromInteger :: Integer -> Pattern SRTree Source #
(/) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source #
recip :: Pattern SRTree -> Pattern SRTree Source #
fromRational :: Rational -> Pattern SRTree Source #
makeA :: SRTree (Maybe Double) -> Maybe Double Source #
joinA :: Maybe Double -> Maybe Double -> Maybe Double Source #
modifyA :: EClass (Maybe Double) SRTree -> (EClass (Maybe Double) SRTree, [Fix SRTree]) Source #