GHCup.Prelude.Version.QQ

Documentation

qq :: (Text -> Q Exp) -> QuasiQuoter

vver :: QuasiQuoter

mver :: QuasiQuoter

sver :: QuasiQuoter

vers :: QuasiQuoter

pver :: QuasiQuoter

liftText :: Text -> Q Exp

liftDataWithText :: Data a => a -> Q Exp

Orphan instances

Data MChunk

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MChunk -> c MChunk

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MChunk

toConstr :: MChunk -> Constr

dataTypeOf :: MChunk -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MChunk)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MChunk)

gmapT :: (forall b. Data b => b -> b) -> MChunk -> MChunk

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MChunk -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MChunk -> r

gmapQ :: (forall d. Data d => d -> u) -> MChunk -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MChunk -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MChunk -> m MChunk

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MChunk -> m MChunk

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MChunk -> m MChunk

Data Mess

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mess -> c Mess

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mess

toConstr :: Mess -> Constr

dataTypeOf :: Mess -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mess)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mess)

gmapT :: (forall b. Data b => b -> b) -> Mess -> Mess

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mess -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mess -> r

gmapQ :: (forall d. Data d => d -> u) -> Mess -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Mess -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mess -> m Mess

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mess -> m Mess

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mess -> m Mess

Data PVP

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PVP -> c PVP

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PVP

toConstr :: PVP -> Constr

dataTypeOf :: PVP -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PVP)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PVP)

gmapT :: (forall b. Data b => b -> b) -> PVP -> PVP

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PVP -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PVP -> r

gmapQ :: (forall d. Data d => d -> u) -> PVP -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PVP -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PVP -> m PVP

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PVP -> m PVP

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PVP -> m PVP

Data SemVer

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SemVer -> c SemVer

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SemVer

toConstr :: SemVer -> Constr

dataTypeOf :: SemVer -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SemVer)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SemVer)

gmapT :: (forall b. Data b => b -> b) -> SemVer -> SemVer

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SemVer -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SemVer -> r

gmapQ :: (forall d. Data d => d -> u) -> SemVer -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SemVer -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SemVer -> m SemVer

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SemVer -> m SemVer

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SemVer -> m SemVer

Data VSep

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VSep -> c VSep

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VSep

toConstr :: VSep -> Constr

dataTypeOf :: VSep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VSep)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VSep)

gmapT :: (forall b. Data b => b -> b) -> VSep -> VSep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VSep -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VSep -> r

gmapQ :: (forall d. Data d => d -> u) -> VSep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VSep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VSep -> m VSep

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VSep -> m VSep

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VSep -> m VSep

Data VUnit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VUnit -> c VUnit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VUnit

toConstr :: VUnit -> Constr

dataTypeOf :: VUnit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VUnit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VUnit)

gmapT :: (forall b. Data b => b -> b) -> VUnit -> VUnit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VUnit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VUnit -> r

gmapQ :: (forall d. Data d => d -> u) -> VUnit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VUnit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VUnit -> m VUnit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VUnit -> m VUnit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VUnit -> m VUnit

Data Version

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Version -> c Version

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Version

toConstr :: Version -> Constr

dataTypeOf :: Version -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Version)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Version)

gmapT :: (forall b. Data b => b -> b) -> Version -> Version

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQ :: (forall d. Data d => d -> u) -> Version -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Version -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

Data Versioning

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Versioning -> c Versioning

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Versioning

toConstr :: Versioning -> Constr

dataTypeOf :: Versioning -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Versioning)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Versioning)

gmapT :: (forall b. Data b => b -> b) -> Versioning -> Versioning

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Versioning -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Versioning -> r

gmapQ :: (forall d. Data d => d -> u) -> Versioning -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Versioning -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Versioning -> m Versioning

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Versioning -> m Versioning

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Versioning -> m Versioning

Lift MChunk

Methods

lift :: Quote m => MChunk -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MChunk -> Code m MChunk

Lift Mess

Methods

lift :: Quote m => Mess -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Mess -> Code m Mess

Lift PVP

Methods

lift :: Quote m => PVP -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => PVP -> Code m PVP

Lift SemVer

Methods

lift :: Quote m => SemVer -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SemVer -> Code m SemVer

Lift VSep

Methods

lift :: Quote m => VSep -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => VSep -> Code m VSep

Lift VUnit

Methods

lift :: Quote m => VUnit -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => VUnit -> Code m VUnit

Lift Version

Methods

lift :: Quote m => Version -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Version -> Code m Version

Lift Versioning

Methods

lift :: Quote m => Versioning -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Versioning -> Code m Versioning