Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

  1. newtype ForallN (n :: Nat) (nm :: Symbol) a

    sbv Data.SBV

    Exactly n universal symbolic variables, used in in building quantified constraints. The name attached will be prefixed in front of _1, _2, ..., _n to form the names of the variables.

  2. ForallN :: [SBV a] -> ForallN (n :: Nat) (nm :: Symbol) a

    sbv Data.SBV

    No documentation available.

  3. Forte :: String -> Bool -> ([Int], [Int]) -> TestStyle

    sbv Data.SBV.Tools.GenTest

    As a Forte/Verilog value with given name. If the boolean is True then vectors are blasted big-endian, otherwise little-endian The indices are the split points on bit-vectors for input and output values

  4. module Crypto.Secp256k1.Internal.ForeignTypes

    No documentation available.

  5. ForwardStrand :: Strand

    sequence-formats SequenceFormats.Pileup

    No documentation available.

  6. module Servant.Auth.Server.Internal.FormLogin

    No documentation available.

  7. module Foreign.C.String.ForeignCStringLen

    No documentation available.

  8. type ForeignCStringLen = (ForeignPtr CChar, Int)

    simple-pango Foreign.C.String.ForeignCStringLen

    No documentation available.

  9. newtype ForegroundAlpha d

    simple-pango Graphics.Pango.Basic.TextAttributes

    No documentation available.

  10. ForegroundAlpha :: Alpha d -> ForegroundAlpha d

    simple-pango Graphics.Pango.Basic.TextAttributes

    No documentation available.

Page 317 of many | Previous | Next