Safe Haskell	None
Language	Haskell2010

BinderAnn.Generic

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.Generic.Safe
plugin :: Plugin

Documentation

type Loc = (FilePath, Int, Int) Source #

A simple location in a file

data SrcInfo Source #

The source information of a do statement

Constructors

Info (Maybe String) (Maybe Loc)

Instances

Eq SrcInfo Source #
Instance details Defined in BinderAnn.SrcInfo Methods (==) :: SrcInfo -> SrcInfo -> Bool # (/=) :: SrcInfo -> SrcInfo -> Bool #
Ord SrcInfo Source #
Instance details Defined in BinderAnn.SrcInfo Methods compare :: SrcInfo -> SrcInfo -> Ordering # (<) :: SrcInfo -> SrcInfo -> Bool # (<=) :: SrcInfo -> SrcInfo -> Bool # (>) :: SrcInfo -> SrcInfo -> Bool # (>=) :: SrcInfo -> SrcInfo -> Bool # max :: SrcInfo -> SrcInfo -> SrcInfo # min :: SrcInfo -> SrcInfo -> SrcInfo #
Read SrcInfo Source #
Instance details Defined in BinderAnn.SrcInfo Methods readsPrec :: Int -> ReadS SrcInfo # readList :: ReadS [SrcInfo] # readPrec :: ReadPrec SrcInfo # readListPrec :: ReadPrec [SrcInfo] #
Show SrcInfo Source #
Instance details Defined in BinderAnn.SrcInfo Methods showsPrec :: Int -> SrcInfo -> ShowS # show :: SrcInfo -> String # showList :: [SrcInfo] -> ShowS #

data SrcInfoName Source #

A tag constructor for SrcInfo that can be used with annotation pragmas

Constructors

SrcInfo

Instances

Data SrcInfoName Source #

Instance details

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 #

__Info__ :: Maybe String -> Maybe Loc -> SrcInfo Source #

Name wrappers

__annotateM_Pure__ :: (Monad m, Annotated a) => m a -> SrcInfo -> m a Source #

__annotateM_Monadic__ :: AnnotatedM m a => m a -> SrcInfo -> m a Source #

__annotateM_Generic__ :: MonadAnnotated m => m a -> SrcInfo -> m a Source #

__flip__ :: (a -> b -> c) -> b -> a -> c Source #

__Just__ :: a -> Maybe 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.Generic.Safe

plugin :: Plugin Source #