Swarm.Effect.Time
Description
data Time (m :: Type -> Type) k where Source #
Effect for things related to time
Constructors
Defined in Swarm.Effect.Time
Methods
alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (TimeIOC m) -> (Time :+: sig) n a -> ctx () -> TimeIOC m (ctx a) #
getNow :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has Time sig m => m TimeSpec Source #
newtype TimeIOC (m :: Type -> Type) a Source #
Fields
liftIO :: IO a -> TimeIOC m a #
pure :: a -> TimeIOC m a #
(<*>) :: TimeIOC m (a -> b) -> TimeIOC m a -> TimeIOC m b #
liftA2 :: (a -> b -> c) -> TimeIOC m a -> TimeIOC m b -> TimeIOC m c #
(*>) :: TimeIOC m a -> TimeIOC m b -> TimeIOC m b #
(<*) :: TimeIOC m a -> TimeIOC m b -> TimeIOC m a #
fmap :: (a -> b) -> TimeIOC m a -> TimeIOC m b #
(<$) :: a -> TimeIOC m b -> TimeIOC m a #
(>>=) :: TimeIOC m a -> (a -> TimeIOC m b) -> TimeIOC m b #
(>>) :: TimeIOC m a -> TimeIOC m b -> TimeIOC m b #
return :: a -> TimeIOC m a #