Safe Haskell | None |
---|---|
Language | Haskell2010 |
BinderAnn.Pure
Synopsis
- type Loc = (FilePath, Int, Int)
- data SrcInfo = Info (Maybe String) (Maybe Loc)
- data SrcInfoName = SrcInfo
- __Info__ :: Maybe String -> Maybe Loc -> SrcInfo
- __annotateM_Pure__ :: (Monad m, Annotated a) => m a -> SrcInfo -> m a
- __annotateM_Monadic__ :: AnnotatedM m a => m a -> SrcInfo -> m a
- __annotateM_Generic__ :: MonadAnnotated m => m a -> SrcInfo -> m a
- __flip__ :: (a -> b -> c) -> b -> a -> c
- __Just__ :: a -> Maybe a
- __Nothing__ :: Maybe a
- __lift_tuple_2__ :: Monad m => (m a -> m a', m b -> m b') -> m (a, b) -> m (a', b')
- __lift_tuple_3__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c') -> m (a, b, c) -> m (a', b', c')
- __lift_tuple_4__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c', m d -> m d') -> m (a, b, c, d) -> m (a', b', c', d')
- __lift_tuple_5__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c', m d -> m d', m e -> m e') -> m (a, b, c, d, e) -> m (a', b', c', d', e')
- module Data.Annotated.Pure
- plugin :: Plugin
Documentation
The source information of a do statement
data SrcInfoName Source #
A tag constructor for SrcInfo that can be used with annotation pragmas
Constructors
SrcInfo |
Instances
Data SrcInfoName Source # | |
Defined in BinderAnn.SrcInfo Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcInfoName -> c SrcInfoName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcInfoName # toConstr :: SrcInfoName -> Constr # dataTypeOf :: SrcInfoName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcInfoName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcInfoName) # gmapT :: (forall b. Data b => b -> b) -> SrcInfoName -> SrcInfoName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcInfoName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcInfoName -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcInfoName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcInfoName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcInfoName -> m SrcInfoName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcInfoName -> m SrcInfoName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcInfoName -> m SrcInfoName # |
__annotateM_Monadic__ :: AnnotatedM m a => m a -> SrcInfo -> m a Source #
__annotateM_Generic__ :: MonadAnnotated m => m a -> SrcInfo -> m a Source #
__Nothing__ :: Maybe a Source #
__lift_tuple_2__ :: Monad m => (m a -> m a', m b -> m b') -> m (a, b) -> m (a', b') Source #
Tuple liftings
__lift_tuple_3__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c') -> m (a, b, c) -> m (a', b', c') Source #
__lift_tuple_4__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c', m d -> m d') -> m (a, b, c, d) -> m (a', b', c', d') Source #
__lift_tuple_5__ :: Monad m => (m a -> m a', m b -> m b', m c -> m c', m d -> m d', m e -> m e') -> m (a, b, c, d, e) -> m (a', b', c', d', e') Source #
module Data.Annotated.Pure