Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. modifyInteractionPoints :: MonadInteractionPoints m => (InteractionPoints -> InteractionPoints) -> m ()

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

2. registerInteractionPoint :: MonadInteractionPoints m => Bool -> Range -> Maybe Nat -> m InteractionId

   Agda	Agda.TypeChecking.Monad.MetaVars

   Register an interaction point during scope checking. If there is no interaction id yet, create one.

3. removeInteractionPoint :: MonadInteractionPoints m => InteractionId -> m ()

   Agda	Agda.TypeChecking.Monad.MetaVars

   Mark an interaction point as solved.

4. withInteractionId :: (MonadDebug m, ReadTCState m, MonadError TCErr m, MonadTCEnv m, MonadTrace m) => InteractionId -> m a -> m a

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

5. appInteractionOutputCallback :: Response -> TCM ()

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

6. getInteractionOutputCallback :: ReadTCState m => m InteractionOutputCallback

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

7. setInteractionOutputCallback :: InteractionOutputCallback -> TCM ()

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

8. data RNAplexInteraction

   ViennaRNAParser	Bio.RNAplexData

   Data structure for individual interaction between a target and query nucleic acid seqence

9. RNAplexInteraction :: String -> String -> String -> Int -> Int -> Int -> Int -> Double -> Maybe Double -> Maybe Double -> Maybe Double -> Maybe Int -> Maybe Int -> Maybe Double -> RNAplexInteraction

   ViennaRNAParser	Bio.RNAplexData

   No documentation available.

10. data RNAupInteraction

    ViennaRNAParser	Bio.RNAupData

    Data structure for individual interaction between a target and query nucleic acid seqence, contains all (sub)-optimal interactions

Page 35 of many | Previous | Next