Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Mark an interaction point as solved.

  2. 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.

  3. appInteractionOutputCallback :: Response -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  4. getInteractionOutputCallback :: ReadTCState m => m InteractionOutputCallback

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  5. setInteractionOutputCallback :: InteractionOutputCallback -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  6. data RNAplexInteraction

    ViennaRNAParser Bio.RNAplexData

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

  7. 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.

  8. data RNAupInteraction

    ViennaRNAParser Bio.RNAupData

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

  9. RNAupInteraction :: String -> String -> [RNAupInteractionRegion] -> RNAupInteraction

    ViennaRNAParser Bio.RNAupData

    No documentation available.

  10. data RNAupInteractionRegion

    ViennaRNAParser Bio.RNAupData

    Data structure for (sub-) optimal interaction region

Page 36 of many | Previous | Next