GHCup.Utils.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 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

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 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 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 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 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 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

Lift Versioning

Methods

lift :: Versioning -> Q Exp

liftTyped :: Versioning -> Q (TExp Versioning)

Lift SemVer

Methods

lift :: SemVer -> Q Exp

liftTyped :: SemVer -> Q (TExp SemVer)

Lift VUnit

Methods

lift :: VUnit -> Q Exp

liftTyped :: VUnit -> Q (TExp VUnit)

Lift PVP

Methods

lift :: PVP -> Q Exp

liftTyped :: PVP -> Q (TExp PVP)

Lift Version

Methods

lift :: Version -> Q Exp

liftTyped :: Version -> Q (TExp Version)

Lift MChunk

Methods

lift :: MChunk -> Q Exp

liftTyped :: MChunk -> Q (TExp MChunk)

Lift Mess

Methods

lift :: Mess -> Q Exp

liftTyped :: Mess -> Q (TExp Mess)

Lift VSep

Methods

lift :: VSep -> Q Exp

liftTyped :: VSep -> Q (TExp VSep)