| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Exts.Simple.Fixity
Description
This module partially reexports Language.Haskell.Exts.Fixity, adapting applyFixityies.
Synopsis
- applyFixities :: (AppFixity ast, Functor ast, MonadFail m) => [Fixity] -> ast () -> m (ast ())
- infix_ :: Int -> [String] -> [Fixity]
- infixl_ :: Int -> [String] -> [Fixity]
- infixr_ :: Int -> [String] -> [Fixity]
- baseFixities :: [Fixity]
- preludeFixities :: [Fixity]
- data Fixity = Fixity (Assoc ()) Int (QName ())
- class AppFixity (ast :: Type -> Type)
Documentation
applyFixities :: (AppFixity ast, Functor ast, MonadFail m) => [Fixity] -> ast () -> m (ast ()) Source #
baseFixities :: [Fixity] #
All fixities defined in the base package.
Note that the +++ operator appears in both Control.Arrows and
Text.ParserCombinators.ReadP. The listed precedence for +++ in
this list is that of Control.Arrows.
preludeFixities :: [Fixity] #
All fixities defined in the Prelude.
Operator fixities are represented by their associativity (left, right or none) and their precedence (0-9).
Instances
| Eq Fixity | |
| Data Fixity | |
Defined in Language.Haskell.Exts.Fixity Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixity -> c Fixity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fixity # toConstr :: Fixity -> Constr # dataTypeOf :: Fixity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fixity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fixity) # gmapT :: (forall b. Data b => b -> b) -> Fixity -> Fixity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r # gmapQ :: (forall d. Data d => d -> u) -> Fixity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity # | |
| Ord Fixity | |
| Show Fixity | |
class AppFixity (ast :: Type -> Type) #
All AST elements that may include expressions which in turn may need fixity tweaking will be instances of this class.
Minimal complete definition