module Hint.Type(
DeclHint, ModuHint, CrossHint, Hint(..),
module Export
) where
import Data.Semigroup
import Config.Type
import HSE.All as Export
import Idea as Export
import Prelude
import Refact as Export
type DeclHint = Scope -> Module_ -> Decl_ -> [Idea]
type ModuHint = Scope -> Module_ -> [Idea]
type CrossHint = [(Scope, Module_)] -> [Idea]
data Hint = Hint
{hintModules :: [Setting] -> [(Scope, Module SrcSpanInfo)] -> [Idea]
,hintModule :: [Setting] -> Scope -> Module SrcSpanInfo -> [Idea]
,hintDecl :: [Setting] -> Scope -> Module SrcSpanInfo -> Decl SrcSpanInfo -> [Idea]
,hintComment :: [Setting] -> Comment -> [Idea]
}
instance Semigroup Hint where
Hint x1 x2 x3 x4 <> Hint y1 y2 y3 y4 = Hint
(\a b -> x1 a b ++ y1 a b)
(\a b c -> x2 a b c ++ y2 a b c)
(\a b c d -> x3 a b c d ++ y3 a b c d)
(\a b -> x4 a b ++ y4 a b)
instance Monoid Hint where
mempty = Hint (\_ _ -> []) (\_ _ _ -> []) (\_ _ _ _ -> []) (\_ _ -> [])
mappend = (<>)