retrie-0.1.1.1: A powerful, easy-to-use codemodding tool for Haskell.

Safe HaskellNone
LanguageHaskell2010

Retrie.PatternMap.Instances

Contents

Synopsis

Documentation

data TupArgMap a Source #

Constructors

TupArgMap 

Fields

Instances
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 :: Type Source #

type Key TupArgMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data BoxityMap a Source #

Constructors

BoxityMap 
Instances
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 :: Type Source #

type Key BoxityMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data VMap a Source #

Constructors

VM 

Fields

VMEmpty 
Instances
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 :: Type 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
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 :: Type 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
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 :: Type Source #

type Key OLMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

The original infix application of ($).

The expression transformed into a normal application with parens around

data EMap a Source #

Instances
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 :: Type 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
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 :: Type Source #

type Key SCMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype MGMap a Source #

Constructors

MGMap 

Fields

Instances
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 :: Type Source #

type Key MGMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype MMap a Source #

Constructors

MMap 

Fields

Instances
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 :: Type 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
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 :: Type Source #

type Key CDMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data PatMap a Source #

Instances
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 :: Type Source #

type Key PatMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype GRHSSMap a Source #

Constructors

GRHSSMap 
Instances
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 :: Type Source #

type Key GRHSSMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype GRHSMap a Source #

Constructors

GRHSMap 

Fields

Instances
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 :: Type Source #

type Key GRHSMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data SLMap a Source #

Constructors

SLEmpty 
SLM 

Fields

Instances
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 :: Type Source #

type Key SLMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data LBMap a Source #

Constructors

LBEmpty 
LB 
Instances
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 :: Type Source #

type Key LBMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

data BMap a Source #

Constructors

BMEmpty 
BM 
Instances
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 :: Type 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
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 :: Type 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
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 :: Type Source #

type Key TyMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances

newtype RFMap a Source #

Constructors

RFM 

Fields

Instances
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 :: Type Source #

type Key RFMap Source # 
Instance details

Defined in Retrie.PatternMap.Instances