Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. dlookup :: (Eq k, Hashable k) => DEnv k t -> k -> Maybe (HashMap Symbol (RISig t))

    liquidhaskell-boot Language.Haskell.Liquid.Types.Dictionaries

    No documentation available.

  2. linLookup :: (Fractional a, Fractional t, Real t) => t -> Timeline t a -> a

    netwire FRP.Netwire.Utils.Timeline

    Look up with linear sampling.

  3. scLookup :: Ord t => t -> Timeline t a -> a

    netwire FRP.Netwire.Utils.Timeline

    Look up on staircase.

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

    pontarius-xmpp Network.Xmpp.Internal

    No documentation available.

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

    streamly-core Streamly.Internal.Data.IsMap

    No documentation available.

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

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

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

    what4 What4.Serialize.Parser

    The mapping of names to defined What4 expressions.

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

    what4 What4.Serialize.Parser

    The mapping of names to defined What4 SymFns.

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

Page 216 of many | Previous | Next