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

Retrie.PatternMap.Instances

Synopsis

Documentation

data TupArgMap a Source #

Constructors

TupArgMap 

Fields

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 #

type Key TupArgMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data BoxityMap a Source #

Constructors

BoxityMap 

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 #

type Key BoxityMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data VMap a Source #

Constructors

VM 

Fields

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

data LMap a Source #

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

data OLMap a Source #

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 #

type Key OLMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data EMap a Source #

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

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 

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 #

type Key SCMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype MGMap a Source #

Constructors

MGMap 

Fields

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 #

type Key MGMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype MMap a Source #

Constructors

MMap 

Fields

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

data CDMap a Source #

Constructors

CDEmpty 
CDMap 

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 #

type Key CDMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data PatMap a Source #

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 #

type Key PatMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype GRHSSMap a Source #

Constructors

GRHSSMap 

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 #

type Key GRHSSMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype GRHSMap a Source #

Constructors

GRHSMap 

Fields

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 #

type Key GRHSMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data SLMap a Source #

Constructors

SLEmpty 
SLM 

Fields

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 #

type Key SLMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data LBMap a Source #

Constructors

LBEmpty 
LB 

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 #

type Key LBMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data BMap a Source #

Constructors

BMEmpty 
BM 

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

data SMap a Source #

Constructors

SMEmpty 
SM 

Fields

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

data TyMap a Source #

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 #

type Key TyMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype RFMap a Source #

Constructors

RFM 

Fields

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 #

type Key RFMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data ForAllTyMap a Source #

Constructors

ForAllTyMap 

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 #

type Key ForAllTyMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype ForallVisMap a Source #

Constructors

ForallVisMap 

Fields

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 #

type Key ForallVisMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances