Polysemy.Time.Ghc

Documentation

type GhcTime = Time UTCTime Day

Convenience alias for Time.

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

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

Interpret Time with the types from Time.

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

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