Safe Haskell	Safe-Inferred
Language	Haskell2010

Haskell.Template.Match

Synopsis

data Where
- = OnlyTemplate
- | OnlySubmission
data What
- = CompleteModule
- | Declaration
- | HeadOfModule
- | ModuleImport
- | Pragma
data Location
- = SrcSpanInfo What Where SrcSpanInfo
- | SrcSpanInfoPair What SrcSpanInfo SrcSpanInfo
data Result a
- = Continue
- | Fail [Location]
- | Ok a
newtype M a = M {
- runM :: State Location (Result a)
}
highlight_ssi :: SrcSpanInfo -> Int -> String -> [String]
data DeclarationKind l
- = TypeDeclaration {
  - name :: String
  }
- | FunctionDeclaration {
  - name :: String
  - funPart :: (Rhs l, [Pat l], Maybe (Binds l))
  }
- | Unnamed {
  - decl :: Decl l
  }
type Decl' l b = (DeclarationKind l, b)
partitionByKind :: Ord l => [Decl' l b] -> ([Decl' l b], [Decl' l b], [Decl' l b])
failLoc :: forall a. M a
continue :: forall a. M a
onlyTemplate :: Annotated a => What -> a SrcSpanInfo -> Location
onlySubmission :: Annotated a => What -> a SrcSpanInfo -> Location
matchUndef :: forall a. Maybe (Exp a) -> Bool
matchSrcSpanInfoSub :: (Data a, Data b) => What -> a -> b -> M ()
matchSrcSpanInfo :: What -> Maybe SrcSpanInfo -> Maybe SrcSpanInfo -> M ()
getFunctionName :: Decl l -> [(DeclarationKind l, Decl l)]
matchList :: (Annotated a, Data (a SrcSpanInfo)) => What -> [a SrcSpanInfo] -> [a SrcSpanInfo] -> [Location]
matchMaybe :: (Annotated a, Data (a SrcSpanInfo)) => What -> Maybe (a SrcSpanInfo) -> Maybe (a SrcSpanInfo) -> [Location]
matchDecl :: [Decl SrcSpanInfo] -> [Decl SrcSpanInfo] -> [Location]
go :: What -> [(DeclarationKind SrcSpanInfo, Decl SrcSpanInfo)] -> [(DeclarationKind SrcSpanInfo, Decl SrcSpanInfo)] -> [Location]
withCast :: (Data a, Data b, Data t1, Data t2) => (t1 -> t2 -> [Location]) -> a -> b -> M c
match :: Data a => What -> a -> GenericM M
matchLocation :: (Data a, Data b) => What -> a -> b -> [Location]
matchModule :: Module SrcSpanInfo -> Module SrcSpanInfo -> M ()
test :: Module SrcSpanInfo -> Module SrcSpanInfo -> Result ()
gzipWithM' :: Monad m => GenericQ (GenericM m) -> GenericQ (GenericM m)
gmapAccumM' :: forall a d m. (Data d, Monad m) => (forall e. Data e => a -> e -> (a, m e)) -> a -> d -> (a, m d)

Documentation

data Where Source #

Constructors

OnlyTemplate
OnlySubmission

Instances

Instances details

Show Where Source #
Instance details Defined in Haskell.Template.Match Methods showsPrec :: Int -> Where -> ShowS # show :: Where -> String # showList :: [Where] -> ShowS #
Eq Where Source #
Instance details Defined in Haskell.Template.Match Methods (==) :: Where -> Where -> Bool # (/=) :: Where -> Where -> Bool #
Ord Where Source #
Instance details Defined in Haskell.Template.Match Methods compare :: Where -> Where -> Ordering # (<) :: Where -> Where -> Bool # (<=) :: Where -> Where -> Bool # (>) :: Where -> Where -> Bool # (>=) :: Where -> Where -> Bool # max :: Where -> Where -> Where # min :: Where -> Where -> Where #

data What Source #

Constructors

CompleteModule
Declaration
HeadOfModule
ModuleImport
Pragma

Instances

Instances details

Show What Source #
Instance details Defined in Haskell.Template.Match Methods showsPrec :: Int -> What -> ShowS # show :: What -> String # showList :: [What] -> ShowS #
Eq What Source #
Instance details Defined in Haskell.Template.Match Methods (==) :: What -> What -> Bool # (/=) :: What -> What -> Bool #
Ord What Source #
Instance details Defined in Haskell.Template.Match Methods compare :: What -> What -> Ordering # (<) :: What -> What -> Bool # (<=) :: What -> What -> Bool # (>) :: What -> What -> Bool # (>=) :: What -> What -> Bool # max :: What -> What -> What # min :: What -> What -> What #

data Location Source #

Constructors

SrcSpanInfo What Where SrcSpanInfo
SrcSpanInfoPair What SrcSpanInfo SrcSpanInfo

Instances

Instances details

Show Location Source #
Instance details Defined in Haskell.Template.Match Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Eq Location Source #
Instance details Defined in Haskell.Template.Match Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Ord Location Source #
Instance details Defined in Haskell.Template.Match Methods compare :: Location -> Location -> Ordering # (<) :: Location -> Location -> Bool # (<=) :: Location -> Location -> Bool # (>) :: Location -> Location -> Bool # (>=) :: Location -> Location -> Bool # max :: Location -> Location -> Location # min :: Location -> Location -> Location #

data Result a Source #

Constructors

Continue
Fail [Location]
Ok a

Instances

Instances details

Show a => Show (Result a) Source #
Instance details Defined in Haskell.Template.Match Methods showsPrec :: Int -> Result a -> ShowS # show :: Result a -> String # showList :: [Result a] -> ShowS #
Eq a => Eq (Result a) Source #
Instance details Defined in Haskell.Template.Match Methods (==) :: Result a -> Result a -> Bool # (/=) :: Result a -> Result a -> Bool #
Ord a => Ord (Result a) Source #
Instance details Defined in Haskell.Template.Match Methods compare :: Result a -> Result a -> Ordering # (<) :: Result a -> Result a -> Bool # (<=) :: Result a -> Result a -> Bool # (>) :: Result a -> Result a -> Bool # (>=) :: Result a -> Result a -> Bool # max :: Result a -> Result a -> Result a # min :: Result a -> Result a -> Result a #

newtype M a Source #

Constructors

M
Fields runM :: State Location (Result a)

Instances

Instances details

Alternative M Source #
Instance details Defined in Haskell.Template.Match Methods empty :: M a # (<\|>) :: M a -> M a -> M a # some :: M a -> M [a] # many :: M a -> M [a] #
Applicative M Source #
Instance details Defined in Haskell.Template.Match Methods pure :: a -> M a # (<>) :: M (a -> b) -> M a -> M b # liftA2 :: (a -> b -> c) -> M a -> M b -> M c # (>) :: M a -> M b -> M b # (<*) :: M a -> M b -> M a #
Functor M Source #
Instance details Defined in Haskell.Template.Match Methods fmap :: (a -> b) -> M a -> M b # (<$) :: a -> M b -> M a #
Monad M Source #
Instance details Defined in Haskell.Template.Match Methods (>>=) :: M a -> (a -> M b) -> M b # (>>) :: M a -> M b -> M b # return :: a -> M a #
MonadPlus M Source #
Instance details Defined in Haskell.Template.Match Methods mzero :: M a # mplus :: M a -> M a -> M a #

highlight_ssi :: SrcSpanInfo -> Int -> String -> [String] Source #

underline the part of the input that is in the span, and add some lines of contexts before and after. Returns lines.

data DeclarationKind l Source #

Constructors

TypeDeclaration
Fields name :: String
FunctionDeclaration
Fields name :: String funPart :: (Rhs l, [Pat l], Maybe (Binds l))
Unnamed
Fields decl :: Decl l

Instances

Instances details

Eq (DeclarationKind l) Source #
Instance details Defined in Haskell.Template.Match Methods (==) :: DeclarationKind l -> DeclarationKind l -> Bool # (/=) :: DeclarationKind l -> DeclarationKind l -> Bool #
Ord l => Ord (DeclarationKind l) Source #
Instance details Defined in Haskell.Template.Match Methods compare :: DeclarationKind l -> DeclarationKind l -> Ordering # (<) :: DeclarationKind l -> DeclarationKind l -> Bool # (<=) :: DeclarationKind l -> DeclarationKind l -> Bool # (>) :: DeclarationKind l -> DeclarationKind l -> Bool # (>=) :: DeclarationKind l -> DeclarationKind l -> Bool # max :: DeclarationKind l -> DeclarationKind l -> DeclarationKind l # min :: DeclarationKind l -> DeclarationKind l -> DeclarationKind l #

type Decl' l b = (DeclarationKind l, b) Source #

partitionByKind :: Ord l => [Decl' l b] -> ([Decl' l b], [Decl' l b], [Decl' l b]) Source #

failLoc :: forall a. M a Source #

continue :: forall a. M a Source #

onlyTemplate :: Annotated a => What -> a SrcSpanInfo -> Location Source #

onlySubmission :: Annotated a => What -> a SrcSpanInfo -> Location Source #

matchUndef :: forall a. Maybe (Exp a) -> Bool Source #

matchSrcSpanInfoSub :: (Data a, Data b) => What -> a -> b -> M () Source #

Stores src span locations in state. In contrast to matchSrcSpanInfo it checks also arguments of constructors for existing SrcSpanInfo. (uses matchSrcSpanInfo)

matchSrcSpanInfo :: What -> Maybe SrcSpanInfo -> Maybe SrcSpanInfo -> M () Source #

getFunctionName :: Decl l -> [(DeclarationKind l, Decl l)] Source #

matchList :: (Annotated a, Data (a SrcSpanInfo)) => What -> [a SrcSpanInfo] -> [a SrcSpanInfo] -> [Location] Source #

matchMaybe :: (Annotated a, Data (a SrcSpanInfo)) => What -> Maybe (a SrcSpanInfo) -> Maybe (a SrcSpanInfo) -> [Location] Source #

matchDecl :: [Decl SrcSpanInfo] -> [Decl SrcSpanInfo] -> [Location] Source #

go :: What -> [(DeclarationKind SrcSpanInfo, Decl SrcSpanInfo)] -> [(DeclarationKind SrcSpanInfo, Decl SrcSpanInfo)] -> [Location] Source #

withCast :: (Data a, Data b, Data t1, Data t2) => (t1 -> t2 -> [Location]) -> a -> b -> M c Source #

match :: Data a => What -> a -> GenericM M Source #

matchLocation :: (Data a, Data b) => What -> a -> b -> [Location] Source #

matchModule :: Module SrcSpanInfo -> Module SrcSpanInfo -> M () Source #

test :: Module SrcSpanInfo -> Module SrcSpanInfo -> Result () Source #

test whether m2 is a suitable template for m1 in case of an error, the returned '[Location]' gives the mismatching positions in the template

gzipWithM' :: Monad m => GenericQ (GenericM m) -> GenericQ (GenericM m) Source #

Twin map for monadic transformation

Unlike gzipWithM, process constructor arguments from left to right.

gmapAccumM' :: forall a d m. (Data d, Monad m) => (forall e. Data e => a -> e -> (a, m e)) -> a -> d -> (a, m d) Source #

gmapM with accumulation

Unlike gmapAccumM, process constructor arguments from left to right.