Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
A "directed semiring" refers to the semiring composed of the union of upwards directed sets as multiplication, and intersection of downwards directed sets as addition.
Directed semirings
Wrapper for the semiring of upwards and downwards directed sets.
For the individual join/meet monoids associated with either
algebra, see Max
Ordering
, and Min
Ordering
@.
Directed | |
|
Instances
Data Directed Source # | Since: 0.7 |
Defined in Data.Semiring.Directed gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Directed -> c Directed # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Directed # toConstr :: Directed -> Constr # dataTypeOf :: Directed -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Directed) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Directed) # gmapT :: (forall b. Data b => b -> b) -> Directed -> Directed # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Directed -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Directed -> r # gmapQ :: (forall d. Data d => d -> u) -> Directed -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Directed -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Directed -> m Directed # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Directed -> m Directed # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Directed -> m Directed # | |
Bounded Directed Source # | Since: 0.7 |
Enum Directed Source # | Since: 0.7 |
Generic Directed Source # | |
Read Directed Source # | Since: 0.7 |
Show Directed Source # | Since: 0.7 |
Eq Directed Source # | Since: 0.7 |
Semiring Directed Source # | Since: 0.7 |
type Rep Directed Source # | Since: 0.7 |
Defined in Data.Semiring.Directed |