Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SRTree.EqSat

Contents

Orphan instances

Documentation

simplifyEqSat :: Fix SRTree -> Fix SRTree Source #

Orphan instances

Foldable SRTree Source #
Instance details 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 #
Eq1 SRTree Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> SRTree a -> SRTree b -> Bool Source #
Ord1 SRTree Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> SRTree a -> SRTree b -> Ordering Source #
Show1 SRTree Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> SRTree a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [SRTree a] -> ShowS Source #
Traversable SRTree Source #
Instance details Methods 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 #
Language SRTree Source #
Instance details
Floating (Pattern SRTree) Source #
Instance details Methods 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 #
Num (Pattern SRTree) Source #
Instance details Methods (+) :: 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 #
Fractional (Pattern SRTree) Source #
Instance details Methods (/) :: Pattern SRTree -> Pattern SRTree -> Pattern SRTree Source # recip :: Pattern SRTree -> Pattern SRTree Source # fromRational :: Rational -> Pattern SRTree Source #
Analysis (Maybe Double) SRTree Source #
Instance details Methods 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 #