ptera-th-0.7.0.0: A parser generator
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Parser.Ptera.TH.Class.LiftType

Documentation

type T = LiftType Source #

class LiftType a where Source #

Methods

liftType :: proxy a -> Q Type Source #

Instances

Instances details
LiftType Integer Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy Integer -> Q Type Source #

LiftType () Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy () -> Q Type Source #

LiftType Char Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy Char -> Q Type Source #

LiftType Int Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy Int -> Q Type Source #

LiftType a => LiftType (Ratio a :: Type) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy (Ratio a) -> Q Type0 Source #

LiftType a => LiftType (Maybe a :: Type) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy (Maybe a) -> Q Type0 Source #

LiftType a => LiftType ([a] :: Type) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy [a] -> Q Type0 Source #

(LiftType a, LiftType b) => LiftType ((a, b) :: Type) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy (a, b) -> Q Type0 Source #

(LiftType a, LiftType b, LiftType c) => LiftType ((a, b, c) :: Type) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy (a, b, c) -> Q Type0 Source #

LiftType a => LiftType (Seq a :: TYPE LiftedRep) Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Class.LiftType

Methods

liftType :: proxy (Seq a) -> Q Type Source #

typeOf :: LiftType a => a -> Q Type Source #