Language.REST.OCAlgebra

Documentation

data OCAlgebra c a m

Constructors

OCAlgebra

Fields

• isSat :: c -> m Bool
• refine :: c -> a -> a -> c
• top :: c
• union :: c -> c -> c
• notStrongerThan :: c -> c -> m Bool

fuelOC :: Monad m => Int -> OCAlgebra Int a m

contramap :: forall c a b m. (b -> a) -> OCAlgebra c a m -> OCAlgebra c b m

bimapConstraints :: forall c d a m. (c -> d) -> (d -> c) -> OCAlgebra c a m -> OCAlgebra d a m