predicate-typed-0.7.4.1: Predicates, Refinement types and Dsl
Safe HaskellNone
LanguageHaskell2010

Predicate.TH_Orphans

Description

orphan Lift instances for Data.Time

Orphan instances

Lift UTCTime Source # 
Instance details

Methods

lift :: UTCTime -> Q Exp #

liftTyped :: UTCTime -> Q (TExp UTCTime) #

Lift ZonedTime Source # 
Instance details

Lift LocalTime Source # 
Instance details

Lift TimeOfDay Source # 
Instance details

Lift TimeZone Source # 
Instance details

Lift DiffTime Source # 
Instance details

Lift Day Source # 
Instance details

Methods

lift :: Day -> Q Exp #

liftTyped :: Day -> Q (TExp Day) #

Lift (Fixed a :: Type) Source # 
Instance details

Methods

lift :: Fixed a -> Q Exp #

liftTyped :: Fixed a -> Q (TExp (Fixed a)) #

Lift (Proxy t :: Type) Source # 
Instance details

Methods

lift :: Proxy t -> Q Exp #

liftTyped :: Proxy t -> Q (TExp (Proxy t)) #