polysemy-time-0.1.4.0: Polysemy Effect for Time

Safe Haskell	None
Language	Haskell2010

Polysemy.Time.Ghc

Synopsis

type GhcTime = Time UTCTime Day
now :: Member (Embed IO) r => Sem r UTCTime
interpretTimeGhc :: Member (Embed IO) r => InterpreterFor GhcTime r
interpretTimeGhcAt :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstant :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstantNow :: Member (Embed IO) r => InterpreterFor GhcTime r

Documentation

type GhcTime = Time UTCTime Day Source #

Convenience alias for Time.

now :: Member (Embed IO) r => Sem r UTCTime Source #

interpretTimeGhc :: Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time.

interpretTimeGhcAt :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time at the start of interpretation.

interpretTimeGhcConstant :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constant.

interpretTimeGhcConstantNow :: Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constantly the time at the start of interpretation.