predicate-typed-0.7.4.0: Predicates, Refinement types and Dsl
Predicate.TH_Orphans
Contents
Description
orphan Lift instances for Data.Time
Methods
lift :: StdGen -> Q Exp #
lift :: ZonedTime -> Q Exp #
lift :: LocalTime -> Q Exp #
lift :: TimeOfDay -> Q Exp #
lift :: TimeZone -> Q Exp #
lift :: UTCTime -> Q Exp #
lift :: DiffTime -> Q Exp #
lift :: Day -> Q Exp #
lift :: Fixed a -> Q Exp #
lift :: Proxy t -> Q Exp #