Safe Haskell	None
Language	Haskell2010

Retrie.PatternMap.Instances

Contents

The original infix application of ($).
The expression transformed into a normal application with parens around

Synopsis

data TupArgMap a = TupArgMap {
- tamPresent :: EMap a
- tamMissing :: MaybeMap a
}
data BoxityMap a = BoxityMap {
- boxBoxed :: MaybeMap a
- boxUnboxed :: MaybeMap a
}
data VMap a
- = VM {
  - bvmap :: IntMap a
  - fvmap :: FSEnv a
  }
- | VMEmpty
data LMap a
- = LMEmpty
- | LM {
  - lmChar :: Map Char a
  - lmCharPrim :: Map Char a
  - lmString :: FSEnv a
  - lmStringPrim :: Map ByteString a
  - lmInt :: BoolMap (Map Integer a)
  - lmIntPrim :: Map Integer a
  - lmWordPrim :: Map Integer a
  - lmInt64Prim :: Map Integer a
  - lmWord64Prim :: Map Integer a
  }
emptyLMapWrapper :: LMap a
data OLMap a
- = OLMEmpty
- | OLM {
  - olmIntegral :: BoolMap (Map Integer a)
  - olmFractional :: Map Rational a
  - olmIsString :: FSEnv a
  }
emptyOLMapWrapper :: OLMap a
data EMap a
- = EMEmpty
- | EM {
  - emHole :: Map RdrName a
  - emVar :: VMap a
  - emIPVar :: FSEnv a
  - emOverLit :: OLMap a
  - emLit :: LMap a
  - emLam :: MGMap a
  - emApp :: EMap (EMap a)
  - emOpApp :: EMap (EMap (EMap a))
  - emNegApp :: EMap a
  - emPar :: EMap a
  - emExplicitTuple :: BoxityMap (ListMap TupArgMap a)
  - emCase :: EMap (MGMap a)
  - emSecL :: EMap (EMap a)
  - emSecR :: EMap (EMap a)
  - emIf :: EMap (EMap (EMap a))
  - emLet :: LBMap (EMap a)
  - emDo :: SCMap (SLMap a)
  - emExplicitList :: ListMap EMap a
  - emRecordCon :: VMap (ListMap RFMap a)
  - emRecordUpd :: EMap (ListMap RFMap a)
  - emExprWithTySig :: EMap (TyMap a)
  }
emptyEMapWrapper :: EMap a
extendResult :: Map RdrName a -> HoleVal -> Substitution -> [(Substitution, a)]
singleton :: [a] -> Maybe a
sameHoleValue :: HoleVal -> HoleVal -> Maybe ()
alphaEquivalent :: PatternMap m => Key m -> Key m -> m () -> Maybe ()
data SCMap a
- = SCEmpty
- | SCM {
  - scmListComp :: MaybeMap a
  - scmMonadComp :: MaybeMap a
  - scmDoExpr :: MaybeMap a
  }
emptySCMapWrapper :: SCMap a
newtype MGMap a = MGMap {
- unMGMap :: ListMap MMap a
}
newtype MMap a = MMap {
- unMMap :: ListMap PatMap (GRHSSMap a)
}
data CDMap a
- = CDEmpty
- | CDMap {
  - cdPrefixCon :: ListMap PatMap a
  - cdInfixCon :: PatMap (PatMap a)
  }
emptyCDMapWrapper :: CDMap a
data PatMap a
- = PatEmpty
- | PatMap {
  - pmHole :: Map RdrName a
  - pmWild :: MaybeMap a
  - pmVar :: MaybeMap a
  - pmParPat :: PatMap a
  - pmTuplePat :: BoxityMap (ListMap PatMap a)
  - pmConPatIn :: FSEnv (CDMap a)
  }
emptyPatMapWrapper :: PatMap a
newtype GRHSSMap a = GRHSSMap {
- unGRHSSMap :: LBMap (ListMap GRHSMap a)
}
newtype GRHSMap a = GRHSMap {
- unGRHSMap :: SLMap (EMap a)
}
data SLMap a
- = SLEmpty
- | SLM {
  - slmNil :: MaybeMap a
  - slmCons :: SMap (SLMap a)
  }
emptySLMapWrapper :: SLMap a
data LBMap a
- = LBEmpty
- | LB {
  - lbValBinds :: ListMap BMap a
  - lbEmpty :: MaybeMap a
  }
emptyLBMapWrapper :: LBMap a
deValBinds :: HsValBinds GhcPs -> [HsBind GhcPs]
data BMap a
- = BMEmpty
- | BM {
  - bmFunBind :: MGMap a
  - bmVarBind :: EMap a
  - bmPatBind :: PatMap (GRHSSMap a)
  }
emptyBMapWrapper :: BMap a
data SMap a
- = SMEmpty
- | SM {
  - smLastStmt :: EMap a
  - smBindStmt :: PatMap (EMap a)
  - smBodyStmt :: EMap a
  }
emptySMapWrapper :: SMap a
data TyMap a
- = TyEmpty
- | TM {
  - tyHole :: Map RdrName a
  - tyHsTyVar :: VMap a
  - tyHsAppTy :: TyMap (TyMap a)
  - tyHsForAllTy :: ForallVisMap (ForAllTyMap a)
  - tyHsFunTy :: TyMap (TyMap a)
  - tyHsListTy :: TyMap a
  - tyHsParTy :: TyMap a
  - tyHsQualTy :: TyMap (ListMap TyMap a)
  - tyHsSumTy :: ListMap TyMap a
  - tyHsTupleTy :: TupleSortMap (ListMap TyMap a)
  }
emptyTyMapWrapper :: TyMap a
extractBinderInfo :: LHsTyVarBndr GhcPs -> (RdrName, Maybe (LHsKind GhcPs))
newtype RFMap a = RFM {
- rfmField :: VMap (EMap a)
}
class RecordFieldToRdrName f where
- recordFieldToRdrName :: f -> RdrName
fieldsToRdrNames :: RecordFieldToRdrName f => [LHsRecField' f arg] -> [LHsRecField' RdrName arg]
data TupleSortMap a = TupleSortMap {
- tsUnboxed :: MaybeMap a
- tsBoxed :: MaybeMap a
- tsConstraint :: MaybeMap a
- tsBoxedOrConstraint :: MaybeMap a
}
data ForAllTyMap a = ForAllTyMap {
- fatNil :: TyMap a
- fatUser :: ForAllTyMap a
- fatKinded :: TyMap (ForAllTyMap a)
}
newtype ForallVisMap a = ForallVisMap {
- favBoolMap :: BoolMap a
}

Documentation

data TupArgMap a Source #

Constructors

TupArgMap
Fields tamPresent :: EMap a tamMissing :: MaybeMap a

Instances

Instances details

Functor TupArgMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> TupArgMap a -> TupArgMap b # (<$) :: a -> TupArgMap b -> TupArgMap a #
PatternMap TupArgMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key TupArgMap Source # Methods mEmpty :: TupArgMap a Source # mUnion :: TupArgMap a -> TupArgMap a -> TupArgMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key TupArgMap -> A a -> TupArgMap a -> TupArgMap a Source # mMatch :: MatchEnv -> Key TupArgMap -> (Substitution, TupArgMap a) -> [(Substitution, a)] Source #
type Key TupArgMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key TupArgMap = LHsTupArg GhcPs

data BoxityMap a Source #

Constructors

BoxityMap
Fields boxBoxed :: MaybeMap a boxUnboxed :: MaybeMap a

Instances

Instances details

Functor BoxityMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> BoxityMap a -> BoxityMap b # (<$) :: a -> BoxityMap b -> BoxityMap a #
PatternMap BoxityMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key BoxityMap Source # Methods mEmpty :: BoxityMap a Source # mUnion :: BoxityMap a -> BoxityMap a -> BoxityMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key BoxityMap -> A a -> BoxityMap a -> BoxityMap a Source # mMatch :: MatchEnv -> Key BoxityMap -> (Substitution, BoxityMap a) -> [(Substitution, a)] Source #
type Key BoxityMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key BoxityMap = Boxity

data VMap a Source #

Constructors

VM
Fields bvmap :: IntMap a fvmap :: FSEnv a
VMEmpty

Instances

Instances details

Functor VMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> VMap a -> VMap b # (<$) :: a -> VMap b -> VMap a #
PatternMap VMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key VMap Source # Methods mEmpty :: VMap a Source # mUnion :: VMap a -> VMap a -> VMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key VMap -> A a -> VMap a -> VMap a Source # mMatch :: MatchEnv -> Key VMap -> (Substitution, VMap a) -> [(Substitution, a)] Source #
type Key VMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key VMap = RdrName

data LMap a Source #

Constructors

LMEmpty
LM
Fields lmChar :: Map Char a lmCharPrim :: Map Char a lmString :: FSEnv a lmStringPrim :: Map ByteString a lmInt :: BoolMap (Map Integer a) lmIntPrim :: Map Integer a lmWordPrim :: Map Integer a lmInt64Prim :: Map Integer a lmWord64Prim :: Map Integer a

Instances

Instances details

Functor LMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> LMap a -> LMap b # (<$) :: a -> LMap b -> LMap a #
PatternMap LMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key LMap Source # Methods mEmpty :: LMap a Source # mUnion :: LMap a -> LMap a -> LMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key LMap -> A a -> LMap a -> LMap a Source # mMatch :: MatchEnv -> Key LMap -> (Substitution, LMap a) -> [(Substitution, a)] Source #
type Key LMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key LMap = HsLit GhcPs

emptyLMapWrapper :: LMap a Source #

data OLMap a Source #

Constructors

OLMEmpty
OLM
Fields olmIntegral :: BoolMap (Map Integer a) olmFractional :: Map Rational a olmIsString :: FSEnv a

Instances

Instances details

Functor OLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> OLMap a -> OLMap b # (<$) :: a -> OLMap b -> OLMap a #
PatternMap OLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key OLMap Source # Methods mEmpty :: OLMap a Source # mUnion :: OLMap a -> OLMap a -> OLMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key OLMap -> A a -> OLMap a -> OLMap a Source # mMatch :: MatchEnv -> Key OLMap -> (Substitution, OLMap a) -> [(Substitution, a)] Source #
type Key OLMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key OLMap = OverLitVal

emptyOLMapWrapper :: OLMap a Source #

The original infix application of ($).

The expression transformed into a normal application with parens around

data EMap a Source #

Constructors

EMEmpty
EM
Fields emHole :: Map RdrName a emVar :: VMap a emIPVar :: FSEnv a emOverLit :: OLMap a emLit :: LMap a emLam :: MGMap a emApp :: EMap (EMap a) emOpApp :: EMap (EMap (EMap a)) emNegApp :: EMap a emPar :: EMap a emExplicitTuple :: BoxityMap (ListMap TupArgMap a) emCase :: EMap (MGMap a) emSecL :: EMap (EMap a) emSecR :: EMap (EMap a) emIf :: EMap (EMap (EMap a)) emLet :: LBMap (EMap a) emDo :: SCMap (SLMap a) emExplicitList :: ListMap EMap a emRecordCon :: VMap (ListMap RFMap a) emRecordUpd :: EMap (ListMap RFMap a) emExprWithTySig :: EMap (TyMap a)

Instances

Instances details

Functor EMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> EMap a -> EMap b # (<$) :: a -> EMap b -> EMap a #
PatternMap EMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key EMap Source # Methods mEmpty :: EMap a Source # mUnion :: EMap a -> EMap a -> EMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key EMap -> A a -> EMap a -> EMap a Source # mMatch :: MatchEnv -> Key EMap -> (Substitution, EMap a) -> [(Substitution, a)] Source #
type Key EMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key EMap = LHsExpr GhcPs

emptyEMapWrapper :: EMap a Source #

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

singleton :: [a] -> Maybe a Source #

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

Determine if two expressions are alpha-equivalent.

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

data SCMap a Source #

Constructors

SCEmpty
SCM
Fields scmListComp :: MaybeMap a scmMonadComp :: MaybeMap a scmDoExpr :: MaybeMap a

Instances

Instances details

Functor SCMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> SCMap a -> SCMap b # (<$) :: a -> SCMap b -> SCMap a #
PatternMap SCMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SCMap Source # Methods mEmpty :: SCMap a Source # mUnion :: SCMap a -> SCMap a -> SCMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SCMap -> A a -> SCMap a -> SCMap a Source # mMatch :: MatchEnv -> Key SCMap -> (Substitution, SCMap a) -> [(Substitution, a)] Source #
type Key SCMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key SCMap = HsStmtContext Name

emptySCMapWrapper :: SCMap a Source #

newtype MGMap a Source #

Constructors

MGMap
Fields unMGMap :: ListMap MMap a

Instances

Instances details

Functor MGMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> MGMap a -> MGMap b # (<$) :: a -> MGMap b -> MGMap a #
PatternMap MGMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key MGMap Source # Methods mEmpty :: MGMap a Source # mUnion :: MGMap a -> MGMap a -> MGMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MGMap -> A a -> MGMap a -> MGMap a Source # mMatch :: MatchEnv -> Key MGMap -> (Substitution, MGMap a) -> [(Substitution, a)] Source #
type Key MGMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key MGMap = MatchGroup GhcPs (LHsExpr GhcPs)

newtype MMap a Source #

Constructors

MMap
Fields unMMap :: ListMap PatMap (GRHSSMap a)

Instances

Instances details

Functor MMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> MMap a -> MMap b # (<$) :: a -> MMap b -> MMap a #
PatternMap MMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key MMap Source # Methods mEmpty :: MMap a Source # mUnion :: MMap a -> MMap a -> MMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MMap -> A a -> MMap a -> MMap a Source # mMatch :: MatchEnv -> Key MMap -> (Substitution, MMap a) -> [(Substitution, a)] Source #
type Key MMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key MMap = Match GhcPs (LHsExpr GhcPs)

data CDMap a Source #

Constructors

CDEmpty
CDMap
Fields cdPrefixCon :: ListMap PatMap a cdInfixCon :: PatMap (PatMap a)

Instances

Instances details

Functor CDMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> CDMap a -> CDMap b # (<$) :: a -> CDMap b -> CDMap a #
PatternMap CDMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key CDMap Source # Methods mEmpty :: CDMap a Source # mUnion :: CDMap a -> CDMap a -> CDMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key CDMap -> A a -> CDMap a -> CDMap a Source # mMatch :: MatchEnv -> Key CDMap -> (Substitution, CDMap a) -> [(Substitution, a)] Source #
type Key CDMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key CDMap = HsConDetails (Located (Pat GhcPs)) (HsRecFields GhcPs (Located (Pat GhcPs)))

emptyCDMapWrapper :: CDMap a Source #

data PatMap a Source #

Constructors

PatEmpty
PatMap
Fields pmHole :: Map RdrName a pmWild :: MaybeMap a pmVar :: MaybeMap a pmParPat :: PatMap a pmTuplePat :: BoxityMap (ListMap PatMap a) pmConPatIn :: FSEnv (CDMap a)

Instances

Instances details

Functor PatMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> PatMap a -> PatMap b # (<$) :: a -> PatMap b -> PatMap a #
PatternMap PatMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key PatMap Source # Methods mEmpty :: PatMap a Source # mUnion :: PatMap a -> PatMap a -> PatMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key PatMap -> A a -> PatMap a -> PatMap a Source # mMatch :: MatchEnv -> Key PatMap -> (Substitution, PatMap a) -> [(Substitution, a)] Source #
type Key PatMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key PatMap = Located (Pat GhcPs)

emptyPatMapWrapper :: PatMap a Source #

newtype GRHSSMap a Source #

Constructors

GRHSSMap
Fields unGRHSSMap :: LBMap (ListMap GRHSMap a)

Instances

Instances details

Functor GRHSSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> GRHSSMap a -> GRHSSMap b # (<$) :: a -> GRHSSMap b -> GRHSSMap a #
PatternMap GRHSSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key GRHSSMap Source # Methods mEmpty :: GRHSSMap a Source # mUnion :: GRHSSMap a -> GRHSSMap a -> GRHSSMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key GRHSSMap -> A a -> GRHSSMap a -> GRHSSMap a Source # mMatch :: MatchEnv -> Key GRHSSMap -> (Substitution, GRHSSMap a) -> [(Substitution, a)] Source #
type Key GRHSSMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key GRHSSMap = GRHSs GhcPs (LHsExpr GhcPs)

newtype GRHSMap a Source #

Constructors

GRHSMap
Fields unGRHSMap :: SLMap (EMap a)

Instances

Instances details

Functor GRHSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> GRHSMap a -> GRHSMap b # (<$) :: a -> GRHSMap b -> GRHSMap a #
PatternMap GRHSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key GRHSMap Source # Methods mEmpty :: GRHSMap a Source # mUnion :: GRHSMap a -> GRHSMap a -> GRHSMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key GRHSMap -> A a -> GRHSMap a -> GRHSMap a Source # mMatch :: MatchEnv -> Key GRHSMap -> (Substitution, GRHSMap a) -> [(Substitution, a)] Source #
type Key GRHSMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key GRHSMap = GRHS GhcPs (LHsExpr GhcPs)

data SLMap a Source #

Constructors

SLEmpty
SLM
Fields slmNil :: MaybeMap a slmCons :: SMap (SLMap a)

Instances

Instances details

Functor SLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> SLMap a -> SLMap b # (<$) :: a -> SLMap b -> SLMap a #
PatternMap SLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SLMap Source # Methods mEmpty :: SLMap a Source # mUnion :: SLMap a -> SLMap a -> SLMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SLMap -> A a -> SLMap a -> SLMap a Source # mMatch :: MatchEnv -> Key SLMap -> (Substitution, SLMap a) -> [(Substitution, a)] Source #
type Key SLMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key SLMap = [LStmt GhcPs (LHsExpr GhcPs)]

emptySLMapWrapper :: SLMap a Source #

data LBMap a Source #

Constructors

LBEmpty
LB
Fields lbValBinds :: ListMap BMap a lbEmpty :: MaybeMap a

Instances

Instances details

Functor LBMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> LBMap a -> LBMap b # (<$) :: a -> LBMap b -> LBMap a #
PatternMap LBMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key LBMap Source # Methods mEmpty :: LBMap a Source # mUnion :: LBMap a -> LBMap a -> LBMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key LBMap -> A a -> LBMap a -> LBMap a Source # mMatch :: MatchEnv -> Key LBMap -> (Substitution, LBMap a) -> [(Substitution, a)] Source #
type Key LBMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key LBMap = HsLocalBinds GhcPs

emptyLBMapWrapper :: LBMap a Source #

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

data BMap a Source #

Constructors

BMEmpty
BM
Fields bmFunBind :: MGMap a bmVarBind :: EMap a bmPatBind :: PatMap (GRHSSMap a)

Instances

Instances details

Functor BMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> BMap a -> BMap b # (<$) :: a -> BMap b -> BMap a #
PatternMap BMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key BMap Source # Methods mEmpty :: BMap a Source # mUnion :: BMap a -> BMap a -> BMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key BMap -> A a -> BMap a -> BMap a Source # mMatch :: MatchEnv -> Key BMap -> (Substitution, BMap a) -> [(Substitution, a)] Source #
type Key BMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key BMap = HsBind GhcPs

emptyBMapWrapper :: BMap a Source #

data SMap a Source #

Constructors

SMEmpty
SM
Fields smLastStmt :: EMap a smBindStmt :: PatMap (EMap a) smBodyStmt :: EMap a

Instances

Instances details

Functor SMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> SMap a -> SMap b # (<$) :: a -> SMap b -> SMap a #
PatternMap SMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SMap Source # Methods mEmpty :: SMap a Source # mUnion :: SMap a -> SMap a -> SMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SMap -> A a -> SMap a -> SMap a Source # mMatch :: MatchEnv -> Key SMap -> (Substitution, SMap a) -> [(Substitution, a)] Source #
type Key SMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key SMap = LStmt GhcPs (LHsExpr GhcPs)

emptySMapWrapper :: SMap a Source #

data TyMap a Source #

Constructors

TyEmpty
TM
Fields tyHole :: Map RdrName a tyHsTyVar :: VMap a tyHsAppTy :: TyMap (TyMap a) tyHsForAllTy :: ForallVisMap (ForAllTyMap a) tyHsFunTy :: TyMap (TyMap a) tyHsListTy :: TyMap a tyHsParTy :: TyMap a tyHsQualTy :: TyMap (ListMap TyMap a) tyHsSumTy :: ListMap TyMap a tyHsTupleTy :: TupleSortMap (ListMap TyMap a)

Instances

Instances details

Functor TyMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> TyMap a -> TyMap b # (<$) :: a -> TyMap b -> TyMap a #
PatternMap TyMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key TyMap Source # Methods mEmpty :: TyMap a Source # mUnion :: TyMap a -> TyMap a -> TyMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key TyMap -> A a -> TyMap a -> TyMap a Source # mMatch :: MatchEnv -> Key TyMap -> (Substitution, TyMap a) -> [(Substitution, a)] Source #
type Key TyMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key TyMap = LHsType GhcPs

emptyTyMapWrapper :: TyMap a Source #

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

newtype RFMap a Source #

Constructors

RFM
Fields rfmField :: VMap (EMap a)

Instances

Instances details

Functor RFMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> RFMap a -> RFMap b # (<$) :: a -> RFMap b -> RFMap a #
PatternMap RFMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key RFMap Source # Methods mEmpty :: RFMap a Source # mUnion :: RFMap a -> RFMap a -> RFMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key RFMap -> A a -> RFMap a -> RFMap a Source # mMatch :: MatchEnv -> Key RFMap -> (Substitution, RFMap a) -> [(Substitution, a)] Source #
type Key RFMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key RFMap = LHsRecField' RdrName (LHsExpr GhcPs)

class RecordFieldToRdrName f where Source #

Methods

recordFieldToRdrName :: f -> RdrName Source #

Instances

Instances details

RecordFieldToRdrName (FieldOcc p) Source #
Instance details Defined in Retrie.PatternMap.Instances Methods recordFieldToRdrName :: FieldOcc p -> RdrName Source #
RecordFieldToRdrName (AmbiguousFieldOcc GhcPs) Source #
Instance details Defined in Retrie.PatternMap.Instances Methods recordFieldToRdrName :: AmbiguousFieldOcc GhcPs -> RdrName Source #

fieldsToRdrNames :: RecordFieldToRdrName f => [LHsRecField' f arg] -> [LHsRecField' RdrName arg] Source #

data TupleSortMap a Source #

Constructors

TupleSortMap
Fields tsUnboxed :: MaybeMap a tsBoxed :: MaybeMap a tsConstraint :: MaybeMap a tsBoxedOrConstraint :: MaybeMap a

Instances

Instances details

Functor TupleSortMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> TupleSortMap a -> TupleSortMap b # (<$) :: a -> TupleSortMap b -> TupleSortMap a #
PatternMap TupleSortMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key TupleSortMap Source # Methods mEmpty :: TupleSortMap a Source # mUnion :: TupleSortMap a -> TupleSortMap a -> TupleSortMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key TupleSortMap -> A a -> TupleSortMap a -> TupleSortMap a Source # mMatch :: MatchEnv -> Key TupleSortMap -> (Substitution, TupleSortMap a) -> [(Substitution, a)] Source #
type Key TupleSortMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key TupleSortMap = HsTupleSort

data ForAllTyMap a Source #

Constructors

ForAllTyMap
Fields fatNil :: TyMap a fatUser :: ForAllTyMap a fatKinded :: TyMap (ForAllTyMap a)

Instances

Instances details

Functor ForAllTyMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> ForAllTyMap a -> ForAllTyMap b # (<$) :: a -> ForAllTyMap b -> ForAllTyMap a #
PatternMap ForAllTyMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key ForAllTyMap Source # Methods mEmpty :: ForAllTyMap a Source # mUnion :: ForAllTyMap a -> ForAllTyMap a -> ForAllTyMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key ForAllTyMap -> A a -> ForAllTyMap a -> ForAllTyMap a Source # mMatch :: MatchEnv -> Key ForAllTyMap -> (Substitution, ForAllTyMap a) -> [(Substitution, a)] Source #
type Key ForAllTyMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key ForAllTyMap = ([(RdrName, Maybe (LHsKind GhcPs))], LHsType GhcPs)

newtype ForallVisMap a Source #

Constructors

ForallVisMap
Fields favBoolMap :: BoolMap a

Instances

Instances details

Functor ForallVisMap Source #
Instance details Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> ForallVisMap a -> ForallVisMap b # (<$) :: a -> ForallVisMap b -> ForallVisMap a #
PatternMap ForallVisMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key ForallVisMap Source # Methods mEmpty :: ForallVisMap a Source # mUnion :: ForallVisMap a -> ForallVisMap a -> ForallVisMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key ForallVisMap -> A a -> ForallVisMap a -> ForallVisMap a Source # mMatch :: MatchEnv -> Key ForallVisMap -> (Substitution, ForallVisMap a) -> [(Substitution, a)] Source #
type Key ForallVisMap Source #
Instance details Defined in Retrie.PatternMap.Instances type Key ForallVisMap = Bool