| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Exts.Util
Synopsis
- class FreeVars a where
- data Vars = Vars {}
- class AllVars a where
- class Brackets a where
- remParen :: a -> Maybe a
- addParen :: a -> a
- isAtom :: a -> Bool
- needBracket :: Int -> a -> a -> Bool
- paren :: (Data l, Default l) => Exp l -> Exp l
- transformBracket :: (Data l, Default l) => (Exp l -> Maybe (Exp l)) -> Exp l -> Exp l
- rebracket1 :: (Data l, Default l) => Exp l -> Exp l
- appsBracket :: (Data l, Default l) => [Exp l] -> Exp l
Free variables of ASTs
class FreeVars a where Source #
Methods
freeVars :: a -> Set (Name ()) Source #
Return the variables, erring on the side of more free variables
Instances
| (Data s, Ord s) => FreeVars [IPBind s] Source # | |
| (Data s, Ord s) => FreeVars [Exp s] Source # | |
| (Data s, Ord s) => FreeVars [Alt s] Source # | |
| (Data s, Ord s) => FreeVars (IPBind s) Source # | |
| (Data s, Ord s) => FreeVars (Rhs s) Source # | |
| (Data s, Ord s) => FreeVars (GuardedRhs s) Source # | |
Defined in Language.Haskell.Exts.FreeVars Methods freeVars :: GuardedRhs s -> Set (Name ()) Source # | |
| (Data s, Ord s) => FreeVars (Exp s) Source # | |
| (Data s, Ord s) => FreeVars (FieldUpdate s) Source # | |
Defined in Language.Haskell.Exts.FreeVars Methods freeVars :: FieldUpdate s -> Set (Name ()) Source # | |
| (Data s, Ord s) => FreeVars (Alt s) Source # | |
| (Data s, Ord s) => FreeVars (Set (Name s)) Source # | |
class AllVars a where Source #
Instances
| AllVars Vars Source # | |
| (Data s, Ord s) => AllVars [Decl s] Source # | |
| (Data s, Ord s) => AllVars [Match s] Source # | |
| (Data s, Ord s) => AllVars [Pat s] Source # | |
| (Data s, Ord s) => AllVars [PatField s] Source # | |
| (Data s, Ord s) => AllVars [Stmt s] Source # | |
| (Data s, Ord s) => AllVars [QualStmt s] Source # | |
| (Data s, Ord s) => AllVars (Maybe (Binds s)) Source # | |
| (Data s, Ord s) => AllVars (Decl s) Source # | |
| (Data s, Ord s) => AllVars (Binds s) Source # | |
| (Data s, Ord s) => AllVars (Match s) Source # | |
| (Data s, Ord s) => AllVars (Pat s) Source # | |
| (Data s, Ord s) => AllVars (PatField s) Source # | |
| (Data s, Ord s) => AllVars (Stmt s) Source # | |
| (Data s, Ord s) => AllVars (QualStmt s) Source # | |
Rebracketing of ASTs
class Brackets a where Source #
Methods
remParen :: a -> Maybe a Source #
Is this item lexically requiring no bracketing ever i.e. is totally atomic
needBracket :: Int -> a -> a -> Bool Source #
Is the child safe free from brackets in the parent position. Err on the side of caution, True = don't know
paren :: (Data l, Default l) => Exp l -> Exp l Source #
Add a Paren around something if it is not atomic
rebracket1 :: (Data l, Default l) => Exp l -> Exp l Source #
Add/remove brackets as suggested needBracket at 1-level of depth