Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mapEdgeWithKey :: (e n -> el0 -> el1) -> Graph e n el0 nl -> Graph e n el1 nlcomfort-graph Data.Graph.Comfort No documentation available.
-
comfort-graph Data.Graph.Comfort The index map must be an injection, that is, nodes must not collaps. Also the node and edge index maps must be consistent, i.e.
from (edgeMap e) == nodeMap (from e) to (edgeMap e) == nodeMap (to e)
Strictly spoken, we would need the node map only for isolated nodes, but we use it for all nodes for simplicity. -
comfort-graph Data.Graph.Comfort You may only use this for filtering edges and use more specialised types as a result. You must not alter source and target nodes of edges.
-
comfort-graph Data.Graph.Comfort \(TestGraph gr) -> Graph.mapNode id gr == gr
-
comfort-graph Data.Graph.Comfort No documentation available.
-
comfort-graph Data.Graph.Comfort No documentation available.
mapInput :: forall i j o u (m :: Type -> Type) a . (i -> j) -> Pipe j o u m a -> Pipe i o u m aconduino Data.Conduino (Contravariantly) map over the expected input type.
mapOutput :: forall p o i u (m :: Type -> Type) a . (p -> o) -> Pipe i p u m a -> Pipe i o u m aconduino Data.Conduino Map over the downstream output type. If you want to map over the result type, use fmap.
mapUpRes :: forall u v i o (m :: Type -> Type) a . (u -> v) -> Pipe i o v m a -> Pipe i o u m aconduino Data.Conduino (Contravariantly) map over the upstream result type.
mapAccum :: forall i s o u (m :: Type -> Type) . (i -> s -> (s, o)) -> s -> Pipe i o u m uconduino Data.Conduino.Combinators Map a pure "stateful" function over each incoming item. Give a function to update the state and return an output and an initial state.