Safe Haskell | None |
---|---|
Language | Haskell2010 |
Retrie.PatternMap.Instances
Synopsis
- data TupArgMap a = TupArgMap {
- tamPresent :: EMap a
- tamMissing :: MaybeMap a
- data BoxityMap a = BoxityMap {
- boxBoxed :: MaybeMap a
- boxUnboxed :: MaybeMap a
- data VMap a
- 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 :: FSEnv a
- emptySCMapWrapper :: SCMap a
- newtype MGMap a = MGMap {}
- newtype MMap a = MMap {}
- data CDMap a
- = CDEmpty
- | CDMap {
- cdPrefixCon :: ListMap PatMap a
- cdInfixCon :: PatMap (PatMap a)
- emptyCDMapWrapper :: CDMap a
- data PatMap a
- emptyPatMapWrapper :: PatMap a
- newtype GRHSSMap a = GRHSSMap {
- unGRHSSMap :: LBMap (ListMap GRHSMap a)
- newtype GRHSMap a = GRHSMap {}
- data SLMap a
- emptySLMapWrapper :: SLMap a
- data LBMap a
- emptyLBMapWrapper :: LBMap a
- deValBinds :: HsValBinds GhcPs -> [HsBind GhcPs]
- data BMap 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
- splitVisBinders :: HsForAllTelescope GhcPs -> (Bool, [(RdrName, Maybe (LHsKind GhcPs))])
- extractBinderInfo :: LHsTyVarBndr flag GhcPs -> (RdrName, Maybe (LHsKind GhcPs))
- newtype RFMap a = RFM {}
- class RecordFieldToRdrName f where
- recordFieldToRdrName :: f -> RdrName
- fieldsToRdrNamesUpd :: LHsRecUpdFields GhcPs -> [LHsRecField GhcPs (LHsExpr GhcPs)]
- 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
Constructors
TupArgMap | |
Fields
|
Instances
Functor TupArgMap # | |||||
PatternMap TupArgMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key TupArgMap # | |||||
Defined in Retrie.PatternMap.Instances |
Constructors
BoxityMap | |
Fields
|
Instances
Functor BoxityMap # | |||||
PatternMap BoxityMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key BoxityMap # | |||||
Defined in Retrie.PatternMap.Instances |
Instances
Functor VMap # | |
PatternMap VMap # | |
Defined in Retrie.PatternMap.Instances | |
type Key VMap # | |
Defined in Retrie.PatternMap.Instances |
Constructors
LMEmpty | |
LM | |
Fields
|
Instances
Functor LMap # | |
PatternMap LMap # | |
Defined in Retrie.PatternMap.Instances | |
type Key LMap # | |
Defined in Retrie.PatternMap.Instances |
emptyLMapWrapper :: LMap a #
Constructors
OLMEmpty | |
OLM | |
Fields
|
Instances
Functor OLMap # | |||||
PatternMap OLMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key OLMap # | |||||
Defined in Retrie.PatternMap.Instances |
emptyOLMapWrapper :: OLMap a #
Constructors
EMEmpty | |
EM | |
Fields
|
emptyEMapWrapper :: EMap a #
extendResult :: Map RdrName a -> HoleVal -> Substitution -> [(Substitution, a)] #
sameHoleValue :: HoleVal -> HoleVal -> Maybe () #
Determine if two expressions are alpha-equivalent.
alphaEquivalent :: PatternMap m => Key m -> Key m -> m () -> Maybe () #
Constructors
SCEmpty | |
SCM | |
Fields
|
Instances
Functor SCMap # | |||||
PatternMap SCMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key SCMap # | |||||
Defined in Retrie.PatternMap.Instances |
emptySCMapWrapper :: SCMap a #
Instances
Functor MGMap # | |||||
PatternMap MGMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key MGMap # | |||||
Defined in Retrie.PatternMap.Instances |
Constructors
CDEmpty | |
CDMap | |
Fields
|
Instances
Functor CDMap # | |||||
PatternMap CDMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key CDMap # | |||||
Defined in Retrie.PatternMap.Instances type Key CDMap = HsConDetails (HsConPatTyArg GhcPs) (LocatedA (Pat GhcPs)) (HsRecFields GhcPs (LocatedA (Pat GhcPs))) |
emptyCDMapWrapper :: CDMap a #
emptyPatMapWrapper :: PatMap a #
Constructors
GRHSSMap | |
Fields
|
emptySLMapWrapper :: SLMap a #
Instances
Functor LBMap # | |||||
PatternMap LBMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key LBMap # | |||||
Defined in Retrie.PatternMap.Instances |
emptyLBMapWrapper :: LBMap a #
deValBinds :: HsValBinds GhcPs -> [HsBind GhcPs] #
Instances
Functor BMap # | |
PatternMap BMap # | |
Defined in Retrie.PatternMap.Instances | |
type Key BMap # | |
Defined in Retrie.PatternMap.Instances |
emptyBMapWrapper :: BMap a #
Constructors
SMEmpty | |
SM | |
Fields
|
emptySMapWrapper :: SMap a #
Constructors
TyEmpty | |
TM | |
Fields
|
emptyTyMapWrapper :: TyMap a #
splitVisBinders :: HsForAllTelescope GhcPs -> (Bool, [(RdrName, Maybe (LHsKind GhcPs))]) #
extractBinderInfo :: LHsTyVarBndr flag GhcPs -> (RdrName, Maybe (LHsKind GhcPs)) #
Instances
Functor RFMap # | |||||
PatternMap RFMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
| |||||
type Key RFMap # | |||||
Defined in Retrie.PatternMap.Instances |
class RecordFieldToRdrName f where #
Methods
recordFieldToRdrName :: f -> RdrName #
Instances
RecordFieldToRdrName (FieldLabelStrings GhcPs) # | |
Defined in Retrie.PatternMap.Instances Methods recordFieldToRdrName :: FieldLabelStrings GhcPs -> RdrName # | |
RecordFieldToRdrName (AmbiguousFieldOcc GhcPs) # | |
Defined in Retrie.PatternMap.Instances Methods recordFieldToRdrName :: AmbiguousFieldOcc GhcPs -> RdrName # | |
RecordFieldToRdrName (FieldOcc GhcPs) # | |
Defined in Retrie.PatternMap.Instances Methods |
fieldsToRdrNamesUpd :: LHsRecUpdFields GhcPs -> [LHsRecField GhcPs (LHsExpr GhcPs)] #
data TupleSortMap a #
Constructors
TupleSortMap | |
Fields
|
Instances
Functor TupleSortMap # | |||||
Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> TupleSortMap a -> TupleSortMap b # (<$) :: a -> TupleSortMap b -> TupleSortMap a # | |||||
PatternMap TupleSortMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
Methods mEmpty :: TupleSortMap a # mUnion :: TupleSortMap a -> TupleSortMap a -> TupleSortMap a # mAlter :: AlphaEnv -> Quantifiers -> Key TupleSortMap -> A a -> TupleSortMap a -> TupleSortMap a # mMatch :: MatchEnv -> Key TupleSortMap -> (Substitution, TupleSortMap a) -> [(Substitution, a)] # | |||||
type Key TupleSortMap # | |||||
Defined in Retrie.PatternMap.Instances |
data ForAllTyMap a #
Constructors
ForAllTyMap | |
Fields
|
Instances
Functor ForAllTyMap # | |||||
Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> ForAllTyMap a -> ForAllTyMap b # (<$) :: a -> ForAllTyMap b -> ForAllTyMap a # | |||||
PatternMap ForAllTyMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
Methods mEmpty :: ForAllTyMap a # mUnion :: ForAllTyMap a -> ForAllTyMap a -> ForAllTyMap a # mAlter :: AlphaEnv -> Quantifiers -> Key ForAllTyMap -> A a -> ForAllTyMap a -> ForAllTyMap a # mMatch :: MatchEnv -> Key ForAllTyMap -> (Substitution, ForAllTyMap a) -> [(Substitution, a)] # | |||||
type Key ForAllTyMap # | |||||
newtype ForallVisMap a #
Constructors
ForallVisMap | |
Fields
|
Instances
Functor ForallVisMap # | |||||
Defined in Retrie.PatternMap.Instances Methods fmap :: (a -> b) -> ForallVisMap a -> ForallVisMap b # (<$) :: a -> ForallVisMap b -> ForallVisMap a # | |||||
PatternMap ForallVisMap # | |||||
Defined in Retrie.PatternMap.Instances Associated Types
Methods mEmpty :: ForallVisMap a # mUnion :: ForallVisMap a -> ForallVisMap a -> ForallVisMap a # mAlter :: AlphaEnv -> Quantifiers -> Key ForallVisMap -> A a -> ForallVisMap a -> ForallVisMap a # mMatch :: MatchEnv -> Key ForallVisMap -> (Substitution, ForallVisMap a) -> [(Substitution, a)] # | |||||
type Key ForallVisMap # | |||||
Defined in Retrie.PatternMap.Instances |