Modulecardano-data-1.3.1.0

Data.Pulse

valuecomplete :: Pulsable p => p Identity ans -> ans

valuefoldlM'

valuefoldlWithKeyM' :: Monad m => (a -> k -> b -> m a) -> a -> Map k b -> m a

valuepulse :: Pulsable p => p Identity ans -> p Identity ans

valuepulseList :: Int -> (t1 -> t2 -> t1) -> [t2] -> t1 -> PulseListM Identity t1

valuepulseMap

classclass Pulsable (pulse :: (Type -> Type) -> Type -> Type) where

Instances2Pulsable

typetype PulseList ans = PulseListM Identity ans

datadata PulseListM (m :: Type -> Type) ans where

Instances2Pulsable, Show

Pulsable PulseListMDefined in cardano-data-1.3.1.0 · Data.Pulse
Show ans => Show (PulseListM m ans)Defined in cardano-data-1.3.1.0 · Data.Pulse

typetype PulseMap ans = PulseListM Identity ans

datadata PulseMapM (m :: Type -> Type) ans where

PulseMap :: !Int -> !(ans -> k -> v -> m ans) -> !Map k v -> !ans -> PulseMapM m ans

Instances2Pulsable, Show

Pulsable PulseMapMDefined in cardano-data-1.3.1.0 · Data.Pulse
Show ans => Show (PulseMapM m ans)Defined in cardano-data-1.3.1.0 · Data.Pulse