Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 :: MaybeMap 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
- extractBinderInfo :: LHsTyVarBndr GhcPs -> (RdrName, Maybe (LHsKind GhcPs))
- newtype RFMap a = RFM {}
- 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
TupArgMap | |
|
Instances
Functor TupArgMap Source # | |
PatternMap TupArgMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key TupArgMap Source # | |
Defined in Retrie.PatternMap.Instances |
BoxityMap | |
|
Instances
Functor BoxityMap Source # | |
PatternMap BoxityMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key BoxityMap Source # | |
Defined in Retrie.PatternMap.Instances |
Instances
Functor VMap Source # | |
PatternMap VMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key VMap Source # | |
Defined in Retrie.PatternMap.Instances |
LMEmpty | |
LM | |
|
Instances
Functor LMap Source # | |
PatternMap LMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key LMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyLMapWrapper :: LMap a Source #
OLMEmpty | |
OLM | |
|
Instances
Functor OLMap Source # | |
PatternMap OLMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key OLMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyOLMapWrapper :: OLMap a Source #
EMEmpty | |
EM | |
|
Instances
Functor EMap Source # | |
PatternMap EMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key EMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyEMapWrapper :: EMap a Source #
extendResult :: Map RdrName a -> HoleVal -> Substitution -> [(Substitution, a)] Source #
sameHoleValue :: HoleVal -> HoleVal -> Maybe () Source #
Determine if two expressions are alpha-equivalent.
alphaEquivalent :: PatternMap m => Key m -> Key m -> m () -> Maybe () Source #
SCEmpty | |
SCM | |
|
Instances
Functor SCMap Source # | |
PatternMap SCMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key SCMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptySCMapWrapper :: SCMap a Source #
Instances
Functor MGMap Source # | |
PatternMap MGMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key MGMap Source # | |
Defined in Retrie.PatternMap.Instances |
CDEmpty | |
CDMap | |
|
Instances
Functor CDMap Source # | |
PatternMap CDMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key CDMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyCDMapWrapper :: CDMap a Source #
emptyPatMapWrapper :: PatMap a Source #
GRHSSMap | |
|
emptySLMapWrapper :: SLMap a Source #
Instances
Functor LBMap Source # | |
PatternMap LBMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key LBMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyLBMapWrapper :: LBMap a Source #
deValBinds :: HsValBinds GhcPs -> [HsBind GhcPs] Source #
Instances
Functor BMap Source # | |
PatternMap BMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key BMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyBMapWrapper :: BMap a Source #
SMEmpty | |
SM | |
|
emptySMapWrapper :: SMap a Source #
TyEmpty | |
TM | |
|
Instances
Functor TyMap Source # | |
PatternMap TyMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key TyMap Source # | |
Defined in Retrie.PatternMap.Instances |
emptyTyMapWrapper :: TyMap a Source #
extractBinderInfo :: LHsTyVarBndr GhcPs -> (RdrName, Maybe (LHsKind GhcPs)) Source #
Instances
Functor RFMap Source # | |
PatternMap RFMap Source # | |
Defined in Retrie.PatternMap.Instances | |
type Key RFMap Source # | |
Defined in Retrie.PatternMap.Instances |
class RecordFieldToRdrName f where Source #
recordFieldToRdrName :: f -> RdrName Source #
Instances
RecordFieldToRdrName (FieldOcc p) Source # | |
Defined in Retrie.PatternMap.Instances recordFieldToRdrName :: FieldOcc p -> RdrName Source # | |
RecordFieldToRdrName (AmbiguousFieldOcc GhcPs) Source # | |
Defined in Retrie.PatternMap.Instances |
fieldsToRdrNames :: RecordFieldToRdrName f => [LHsRecField' f arg] -> [LHsRecField' RdrName arg] Source #
data TupleSortMap a Source #
TupleSortMap | |
|
Instances
Functor TupleSortMap Source # | |
Defined in Retrie.PatternMap.Instances fmap :: (a -> b) -> TupleSortMap a -> TupleSortMap b # (<$) :: a -> TupleSortMap b -> TupleSortMap a # | |
PatternMap TupleSortMap Source # | |
Defined in Retrie.PatternMap.Instances type Key TupleSortMap Source # 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 # | |
Defined in Retrie.PatternMap.Instances |
data ForAllTyMap a Source #
ForAllTyMap | |
|
Instances
Functor ForAllTyMap Source # | |
Defined in Retrie.PatternMap.Instances fmap :: (a -> b) -> ForAllTyMap a -> ForAllTyMap b # (<$) :: a -> ForAllTyMap b -> ForAllTyMap a # | |
PatternMap ForAllTyMap Source # | |
Defined in Retrie.PatternMap.Instances type Key ForAllTyMap Source # 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 # | |
Defined in Retrie.PatternMap.Instances |
newtype ForallVisMap a Source #
Instances
Functor ForallVisMap Source # | |
Defined in Retrie.PatternMap.Instances fmap :: (a -> b) -> ForallVisMap a -> ForallVisMap b # (<$) :: a -> ForallVisMap b -> ForallVisMap a # | |
PatternMap ForallVisMap Source # | |
Defined in Retrie.PatternMap.Instances type Key ForallVisMap Source # 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 # | |
Defined in Retrie.PatternMap.Instances |