predicate-typed-0.1.0.2: Predicates, Refinement types and Dsl
TH_Orphans
Contents
Description
Methods
lift :: UTCTime -> Q Exp #
lift :: LocalTime -> Q Exp #
lift :: TimeOfDay -> Q Exp #
lift :: DiffTime -> Q Exp #
lift :: Day -> Q Exp #
lift :: Fixed a -> Q Exp #