Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

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

  1. srvLookup :: Text -> ResolvSeed -> ExceptT XmppFailure IO (Maybe [(Domain, Word16)])

    pontarius-xmpp Network.Xmpp.Internal

    No documentation available.

  2. mapLookup :: IsMap f => Key f -> f a -> Maybe a

    streamly-core Streamly.Internal.Data.IsMap

    No documentation available.

  3. arrayLookup :: forall (idx :: Ctx BaseType) (tp :: BaseType) (b :: BaseType) . IsExprBuilder sym => sym -> SymArray sym (idx ::> tp) b -> Assignment (SymExpr sym) (idx ::> tp) -> IO (SymExpr sym b)

    what4 What4.Interface

    Return element in array.

  4. cacheLookupFnNameBimap :: WriterConn t h -> [SomeExprSymFn t] -> IO (Bimap (SomeExprSymFn t) Text)

    what4 What4.Protocol.SMTWriter

    Construct a function/name bimap. Each function is associated with its cached name if there is one, otherwise with its original name.

  5. cExprLookup :: Config sym -> Text -> IO (Maybe (Some (SymExpr sym)))

    what4 What4.Serialize.Parser

    The mapping of names to defined What4 expressions.

  6. cSymFnLookup :: Config sym -> Text -> IO (Maybe (SomeSymFn sym))

    what4 What4.Serialize.Parser

    The mapping of names to defined What4 SymFns.

  7. orderedWitnessMapOfLookup :: TestOrder w => w a -> OrderedWitnessMapOf w -> Maybe a

    witness Data.Type.Witness.Specific.OrderedWitnessMap.Of

    Look up the first value in the dictionary that matches the given witness.

  8. witnessMapOfLookup :: TestEquality w => w a -> WitnessMapOf w -> Maybe a

    witness Data.Type.Witness.Specific.WitnessMap.Of

    Look up the first value in the dictionary that matches the given witness.

  9. InverseScopeLookup :: Phase

    Agda Agda.Benchmarking

    Pretty printing names.

  10. inverseScopeLookupModule :: ModuleName -> ScopeInfo -> [QName]

    Agda Agda.Syntax.Scope.Base

    Find the concrete names that map (uniquely) to a given abstract module name. Sort by length, shortest first.

Page 217 of many | Previous | Next