predicate-typed-0.7.4.0: Predicates, Refinement types and Dsl

Safe HaskellNone
LanguageHaskell2010

Predicate.TH_Orphans

Contents

Description

orphan Lift instances for Data.Time

Orphan instances

Lift StdGen # 
Instance details

Methods

lift :: StdGen -> Q Exp #

Lift ZonedTime # 
Instance details

Methods

lift :: ZonedTime -> Q Exp #

Lift LocalTime # 
Instance details

Methods

lift :: LocalTime -> Q Exp #

Lift TimeOfDay # 
Instance details

Methods

lift :: TimeOfDay -> Q Exp #

Lift TimeZone # 
Instance details

Methods

lift :: TimeZone -> Q Exp #

Lift UTCTime # 
Instance details

Methods

lift :: UTCTime -> Q Exp #

Lift DiffTime # 
Instance details

Methods

lift :: DiffTime -> Q Exp #

Lift Day # 
Instance details

Methods

lift :: Day -> Q Exp #

Lift (Fixed a) # 
Instance details

Methods

lift :: Fixed a -> Q Exp #

Lift (Proxy t) # 
Instance details

Methods

lift :: Proxy t -> Q Exp #