retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Retrie.PatternMap.Instances

Synopsis

Documentation

data TupArgMap a #

Constructors

TupArgMap 

Fields

Instances

Instances details
Functor TupArgMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> TupArgMap a -> TupArgMap b #

(<$) :: a -> TupArgMap b -> TupArgMap a #

PatternMap TupArgMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key TupArgMap #

type Key TupArgMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key TupArgMap = HsTupArg GhcPs

data BoxityMap a #

Constructors

BoxityMap 

Instances

Instances details
Functor BoxityMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> BoxityMap a -> BoxityMap b #

(<$) :: a -> BoxityMap b -> BoxityMap a #

PatternMap BoxityMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key BoxityMap #

type Key BoxityMap # 
Instance details

Defined in Retrie.PatternMap.Instances

data VMap a #

Constructors

VM 

Fields

VMEmpty 

Instances

Instances details
Functor VMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> VMap a -> VMap b #

(<$) :: a -> VMap b -> VMap a #

PatternMap VMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key VMap #

Methods

mEmpty :: VMap a #

mUnion :: VMap a -> VMap a -> VMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key VMap -> A a -> VMap a -> VMap a #

mMatch :: MatchEnv -> Key VMap -> (Substitution, VMap a) -> [(Substitution, a)] #

type Key VMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key VMap = RdrName

data LMap a #

Constructors

LMEmpty 
LM 

Fields

Instances

Instances details
Functor LMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> LMap a -> LMap b #

(<$) :: a -> LMap b -> LMap a #

PatternMap LMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key LMap #

Methods

mEmpty :: LMap a #

mUnion :: LMap a -> LMap a -> LMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key LMap -> A a -> LMap a -> LMap a #

mMatch :: MatchEnv -> Key LMap -> (Substitution, LMap a) -> [(Substitution, a)] #

type Key LMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key LMap = HsLit GhcPs

data OLMap a #

Constructors

OLMEmpty 
OLM 

Fields

Instances

Instances details
Functor OLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> OLMap a -> OLMap b #

(<$) :: a -> OLMap b -> OLMap a #

PatternMap OLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key OLMap #

Methods

mEmpty :: OLMap a #

mUnion :: OLMap a -> OLMap a -> OLMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key OLMap -> A a -> OLMap a -> OLMap a #

mMatch :: MatchEnv -> Key OLMap -> (Substitution, OLMap a) -> [(Substitution, a)] #

type Key OLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key OLMap = OverLitVal

data EMap a #

Constructors

EMEmpty 
EM 

Instances

Instances details
Functor EMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> EMap a -> EMap b #

(<$) :: a -> EMap b -> EMap a #

PatternMap EMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key EMap #

Methods

mEmpty :: EMap a #

mUnion :: EMap a -> EMap a -> EMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key EMap -> A a -> EMap a -> EMap a #

mMatch :: MatchEnv -> Key EMap -> (Substitution, EMap a) -> [(Substitution, a)] #

type Key EMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key EMap = LocatedA (HsExpr GhcPs)

extendResult :: Map RdrName a -> HoleVal -> Substitution -> [(Substitution, a)] #

singleton :: [a] -> Maybe a #

sameHoleValue :: HoleVal -> HoleVal -> Maybe () #

Determine if two expressions are alpha-equivalent.

alphaEquivalent :: PatternMap m => Key m -> Key m -> m () -> Maybe () #

data SCMap a #

Constructors

SCEmpty 
SCM 

Instances

Instances details
Functor SCMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> SCMap a -> SCMap b #

(<$) :: a -> SCMap b -> SCMap a #

PatternMap SCMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key SCMap #

Methods

mEmpty :: SCMap a #

mUnion :: SCMap a -> SCMap a -> SCMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key SCMap -> A a -> SCMap a -> SCMap a #

mMatch :: MatchEnv -> Key SCMap -> (Substitution, SCMap a) -> [(Substitution, a)] #

type Key SCMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key SCMap = HsDoFlavour

newtype MGMap a #

Constructors

MGMap 

Fields

Instances

Instances details
Functor MGMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> MGMap a -> MGMap b #

(<$) :: a -> MGMap b -> MGMap a #

PatternMap MGMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key MGMap #

Methods

mEmpty :: MGMap a #

mUnion :: MGMap a -> MGMap a -> MGMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key MGMap -> A a -> MGMap a -> MGMap a #

mMatch :: MatchEnv -> Key MGMap -> (Substitution, MGMap a) -> [(Substitution, a)] #

type Key MGMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key MGMap = MatchGroup GhcPs (LocatedA (HsExpr GhcPs))

newtype MMap a #

Constructors

MMap 

Fields

Instances

Instances details
Functor MMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> MMap a -> MMap b #

(<$) :: a -> MMap b -> MMap a #

PatternMap MMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key MMap #

Methods

mEmpty :: MMap a #

mUnion :: MMap a -> MMap a -> MMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key MMap -> A a -> MMap a -> MMap a #

mMatch :: MatchEnv -> Key MMap -> (Substitution, MMap a) -> [(Substitution, a)] #

type Key MMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key MMap = Match GhcPs (LocatedA (HsExpr GhcPs))

data CDMap a #

Constructors

CDEmpty 
CDMap 

Instances

Instances details
Functor CDMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> CDMap a -> CDMap b #

(<$) :: a -> CDMap b -> CDMap a #

PatternMap CDMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key CDMap #

Methods

mEmpty :: CDMap a #

mUnion :: CDMap a -> CDMap a -> CDMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key CDMap -> A a -> CDMap a -> CDMap a #

mMatch :: MatchEnv -> Key CDMap -> (Substitution, CDMap a) -> [(Substitution, a)] #

type Key CDMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key CDMap = HsConDetails (HsConPatTyArg GhcPs) (LocatedA (Pat GhcPs)) (HsRecFields GhcPs (LocatedA (Pat GhcPs)))

data PatMap a #

Constructors

PatEmpty 
PatMap 

Fields

Instances

Instances details
Functor PatMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> PatMap a -> PatMap b #

(<$) :: a -> PatMap b -> PatMap a #

PatternMap PatMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key PatMap #

Methods

mEmpty :: PatMap a #

mUnion :: PatMap a -> PatMap a -> PatMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key PatMap -> A a -> PatMap a -> PatMap a #

mMatch :: MatchEnv -> Key PatMap -> (Substitution, PatMap a) -> [(Substitution, a)] #

type Key PatMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key PatMap = LocatedA (Pat GhcPs)

newtype GRHSSMap a #

Constructors

GRHSSMap 

Instances

Instances details
Functor GRHSSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> GRHSSMap a -> GRHSSMap b #

(<$) :: a -> GRHSSMap b -> GRHSSMap a #

PatternMap GRHSSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key GRHSSMap #

type Key GRHSSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key GRHSSMap = GRHSs GhcPs (LocatedA (HsExpr GhcPs))

newtype GRHSMap a #

Constructors

GRHSMap 

Fields

Instances

Instances details
Functor GRHSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> GRHSMap a -> GRHSMap b #

(<$) :: a -> GRHSMap b -> GRHSMap a #

PatternMap GRHSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key GRHSMap #

type Key GRHSMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key GRHSMap = GRHS GhcPs (LocatedA (HsExpr GhcPs))

data SLMap a #

Constructors

SLEmpty 
SLM 

Fields

Instances

Instances details
Functor SLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> SLMap a -> SLMap b #

(<$) :: a -> SLMap b -> SLMap a #

PatternMap SLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key SLMap #

Methods

mEmpty :: SLMap a #

mUnion :: SLMap a -> SLMap a -> SLMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key SLMap -> A a -> SLMap a -> SLMap a #

mMatch :: MatchEnv -> Key SLMap -> (Substitution, SLMap a) -> [(Substitution, a)] #

type Key SLMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key SLMap = [LocatedA (Stmt GhcPs (LocatedA (HsExpr GhcPs)))]

data LBMap a #

Constructors

LBEmpty 
LB 

Instances

Instances details
Functor LBMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> LBMap a -> LBMap b #

(<$) :: a -> LBMap b -> LBMap a #

PatternMap LBMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key LBMap #

Methods

mEmpty :: LBMap a #

mUnion :: LBMap a -> LBMap a -> LBMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key LBMap -> A a -> LBMap a -> LBMap a #

mMatch :: MatchEnv -> Key LBMap -> (Substitution, LBMap a) -> [(Substitution, a)] #

type Key LBMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key LBMap = HsLocalBinds GhcPs

deValBinds :: HsValBinds GhcPs -> [HsBind GhcPs] #

data BMap a #

Constructors

BMEmpty 
BM 

Instances

Instances details
Functor BMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> BMap a -> BMap b #

(<$) :: a -> BMap b -> BMap a #

PatternMap BMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key BMap #

Methods

mEmpty :: BMap a #

mUnion :: BMap a -> BMap a -> BMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key BMap -> A a -> BMap a -> BMap a #

mMatch :: MatchEnv -> Key BMap -> (Substitution, BMap a) -> [(Substitution, a)] #

type Key BMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key BMap = HsBind GhcPs

data SMap a #

Constructors

SMEmpty 
SM 

Fields

Instances

Instances details
Functor SMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> SMap a -> SMap b #

(<$) :: a -> SMap b -> SMap a #

PatternMap SMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key SMap #

Methods

mEmpty :: SMap a #

mUnion :: SMap a -> SMap a -> SMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key SMap -> A a -> SMap a -> SMap a #

mMatch :: MatchEnv -> Key SMap -> (Substitution, SMap a) -> [(Substitution, a)] #

type Key SMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key SMap = LocatedA (Stmt GhcPs (LocatedA (HsExpr GhcPs)))

data TyMap a #

Instances

Instances details
Functor TyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> TyMap a -> TyMap b #

(<$) :: a -> TyMap b -> TyMap a #

PatternMap TyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key TyMap #

Methods

mEmpty :: TyMap a #

mUnion :: TyMap a -> TyMap a -> TyMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key TyMap -> A a -> TyMap a -> TyMap a #

mMatch :: MatchEnv -> Key TyMap -> (Substitution, TyMap a) -> [(Substitution, a)] #

type Key TyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key TyMap = LocatedA (HsType GhcPs)

splitVisBinders :: HsForAllTelescope GhcPs -> (Bool, [(RdrName, Maybe (LHsKind GhcPs))]) #

extractBinderInfo :: LHsTyVarBndr flag GhcPs -> (RdrName, Maybe (LHsKind GhcPs)) #

newtype RFMap a #

Constructors

RFM 

Fields

Instances

Instances details
Functor RFMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> RFMap a -> RFMap b #

(<$) :: a -> RFMap b -> RFMap a #

PatternMap RFMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key RFMap #

Methods

mEmpty :: RFMap a #

mUnion :: RFMap a -> RFMap a -> RFMap a #

mAlter :: AlphaEnv -> Quantifiers -> Key RFMap -> A a -> RFMap a -> RFMap a #

mMatch :: MatchEnv -> Key RFMap -> (Substitution, RFMap a) -> [(Substitution, a)] #

type Key RFMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key RFMap = LocatedA (HsRecField GhcPs (LocatedA (HsExpr GhcPs)))

class RecordFieldToRdrName f where #

Methods

recordFieldToRdrName :: f -> RdrName #

Instances

Instances details
RecordFieldToRdrName (FieldLabelStrings GhcPs) # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

recordFieldToRdrName :: FieldLabelStrings GhcPs -> RdrName #

RecordFieldToRdrName (AmbiguousFieldOcc GhcPs) # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

recordFieldToRdrName :: AmbiguousFieldOcc GhcPs -> RdrName #

RecordFieldToRdrName (FieldOcc GhcPs) # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

recordFieldToRdrName :: FieldOcc GhcPs -> RdrName #

fieldsToRdrNamesUpd :: Either [LHsRecUpdField GhcPs] [LHsRecUpdProj GhcPs] -> [LHsRecField GhcPs (LHsExpr GhcPs)] #

data TupleSortMap a #

Instances

Instances details
Functor TupleSortMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> TupleSortMap a -> TupleSortMap b #

(<$) :: a -> TupleSortMap b -> TupleSortMap a #

PatternMap TupleSortMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key TupleSortMap #

type Key TupleSortMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key TupleSortMap = HsTupleSort

data ForAllTyMap a #

Constructors

ForAllTyMap 

Instances

Instances details
Functor ForAllTyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> ForAllTyMap a -> ForAllTyMap b #

(<$) :: a -> ForAllTyMap b -> ForAllTyMap a #

PatternMap ForAllTyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key ForAllTyMap #

type Key ForAllTyMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key ForAllTyMap = ([(RdrName, Maybe (LocatedA (HsKind GhcPs)))], LocatedA (HsType GhcPs))

newtype ForallVisMap a #

Constructors

ForallVisMap 

Fields

Instances

Instances details
Functor ForallVisMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Methods

fmap :: (a -> b) -> ForallVisMap a -> ForallVisMap b #

(<$) :: a -> ForallVisMap b -> ForallVisMap a #

PatternMap ForallVisMap # 
Instance details

Defined in Retrie.PatternMap.Instances

Associated Types

type Key ForallVisMap #

type Key ForallVisMap # 
Instance details

Defined in Retrie.PatternMap.Instances

type Key ForallVisMap = Bool