Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Data.Semiring.Directed
Contents
Description
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
@.
Constructors
Directed | |
Fields
|
Instances
Data Directed Source # | Since: 0.7 |
Defined in Data.Semiring.Directed Methods 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 |
Defined in Data.Semiring.Directed | |
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 |