AsyncRattus.Plugin.Annotation

Documentation

data AsyncRattus

By default all Async Rattus functions are checked for use of lazy data types, since these may cause memory leaks. If any lazy data types are used, a warning is issued. These warnings can be disabled by annotating the module or the function with AllowLazyData

{-# ANN myFunction AllowLazyData #-}

{-# ANN module AllowLazyData #-}

Async Rattus only allows guarded recursion, i.e. recursive calls must occur in the scope of a tick. Structural recursion over strict data types is safe as well, but is currently not checked. To disable the guarded recursion check, annotate the module or function with AllowRecursion.

{-# ANN myFunction AllowRecursion #-}

{-# ANN module AllowRecursion #-}

Constructors

AllowLazyData

AllowRecursion

Instances

Data AsyncRattus

Defined in AsyncRattus.Plugin.Annotation

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsyncRattus -> c AsyncRattus

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsyncRattus

toConstr :: AsyncRattus -> Constr

dataTypeOf :: AsyncRattus -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AsyncRattus)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsyncRattus)

gmapT :: (forall b. Data b => b -> b) -> AsyncRattus -> AsyncRattus

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsyncRattus -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsyncRattus -> r

gmapQ :: (forall d. Data d => d -> u) -> AsyncRattus -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AsyncRattus -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsyncRattus -> m AsyncRattus

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsyncRattus -> m AsyncRattus

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsyncRattus -> m AsyncRattus

Show AsyncRattus

Defined in AsyncRattus.Plugin.Annotation

Methods

showsPrec :: Int -> AsyncRattus -> ShowS

show :: AsyncRattus -> String

showList :: [AsyncRattus] -> ShowS

Eq AsyncRattus

Defined in AsyncRattus.Plugin.Annotation

Methods

(==) :: AsyncRattus -> AsyncRattus -> Bool

(/=) :: AsyncRattus -> AsyncRattus -> Bool

Ord AsyncRattus

Defined in AsyncRattus.Plugin.Annotation

Methods

compare :: AsyncRattus -> AsyncRattus -> Ordering

(<) :: AsyncRattus -> AsyncRattus -> Bool

(<=) :: AsyncRattus -> AsyncRattus -> Bool

(>) :: AsyncRattus -> AsyncRattus -> Bool

(>=) :: AsyncRattus -> AsyncRattus -> Bool

max :: AsyncRattus -> AsyncRattus -> AsyncRattus

min :: AsyncRattus -> AsyncRattus -> AsyncRattus

data InternalAnn

This annotation type is for internal use only.

Constructors

ExpectError

ExpectWarning

Instances

Data InternalAnn

Defined in AsyncRattus.Plugin.Annotation

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InternalAnn -> c InternalAnn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InternalAnn

toConstr :: InternalAnn -> Constr

dataTypeOf :: InternalAnn -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InternalAnn)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InternalAnn)

gmapT :: (forall b. Data b => b -> b) -> InternalAnn -> InternalAnn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InternalAnn -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InternalAnn -> r

gmapQ :: (forall d. Data d => d -> u) -> InternalAnn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InternalAnn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InternalAnn -> m InternalAnn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InternalAnn -> m InternalAnn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InternalAnn -> m InternalAnn

Show InternalAnn

Defined in AsyncRattus.Plugin.Annotation

Methods

showsPrec :: Int -> InternalAnn -> ShowS

show :: InternalAnn -> String

showList :: [InternalAnn] -> ShowS

Eq InternalAnn

Defined in AsyncRattus.Plugin.Annotation

Methods

(==) :: InternalAnn -> InternalAnn -> Bool

(/=) :: InternalAnn -> InternalAnn -> Bool

Ord InternalAnn

Defined in AsyncRattus.Plugin.Annotation

Methods

compare :: InternalAnn -> InternalAnn -> Ordering

(<) :: InternalAnn -> InternalAnn -> Bool

(<=) :: InternalAnn -> InternalAnn -> Bool

(>) :: InternalAnn -> InternalAnn -> Bool

(>=) :: InternalAnn -> InternalAnn -> Bool

max :: InternalAnn -> InternalAnn -> InternalAnn

min :: InternalAnn -> InternalAnn -> InternalAnn