Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

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

   netwire	FRP.Netwire.Utils.Timeline

   Look up with linear sampling.

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

   netwire	FRP.Netwire.Utils.Timeline

   Look up on staircase.

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

   pontarius-xmpp	Network.Xmpp.Internal

   No documentation available.

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

   streamly-core	Streamly.Internal.Data.IsMap

   No documentation available.

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

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

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

   what4	What4.Serialize.Parser

   The mapping of names to defined What4 expressions.

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

   what4	What4.Serialize.Parser

   The mapping of names to defined What4 SymFns.

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

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

Page 165 of many | Previous | Next