Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. class Monad m => IdentifierSetMonad (m :: Type -> Type)

    clash-lib Clash.Netlist.Id

    An IdentifierSetMonad supports unique name generation for Clash Netlist

  2. data IdentifierType

    clash-lib Clash.Netlist.Id

    No documentation available.

  3. Identifier :: Identifier -> !Maybe Modifier -> Expr

    clash-lib Clash.Netlist.Types

    Signal reference

  4. data Identifier

    clash-lib Clash.Netlist.Types

    HDL identifier. Consists of a base name and a number of extensions. An identifier with a base name of "foo" and a list of extensions [1, 2] will be rendered as "foo_1_2". Note: The Eq instance of Identifier is case insensitive! E.g., two identifiers with base names fooBar and FoObAR are considered the same. However, identifiers are stored case preserving. This means Clash won't generate two identifiers with differing case, but it will try to keep capitalization. The goal of this data structure is to greatly simplify how Clash deals with identifiers internally. Any Identifier should be trivially printable to any HDL. NB: use the functions in Clash.Netlist.Id. Don't use these constructors directly.

  5. data IdentifierSet

    clash-lib Clash.Netlist.Types

    A collection of unique identifiers. Allows for fast fresh identifier generation. NB: use the functions in Clash.Netlist.Id. Don't use the constructor directly.

  6. IdentifierSet :: Bool -> PreserveCase -> HDL -> FreshCache -> !HashSet Identifier -> IdentifierSet

    clash-lib Clash.Netlist.Types

    No documentation available.

  7. class Monad m => IdentifierSetMonad (m :: Type -> Type)

    clash-lib Clash.Netlist.Types

    An IdentifierSetMonad supports unique name generation for Clash Netlist

  8. type IdentifierText = Text

    clash-lib Clash.Netlist.Types

    No documentation available.

  9. data IdentifierType

    clash-lib Clash.Netlist.Types

    No documentation available.

  10. newtype Identity a

    cql-io Database.CQL.IO

    Identity functor and monad. (a non-strict monad)

    Examples

    >>> fmap (+1) (Identity 0)
Identity 1

    >>> Identity [1, 2, 3] <> Identity [4, 5, 6]
Identity [1,2,3,4,5,6]

    >>> do
x <- Identity 10
y <- Identity (x + 5)
pure (x + y)
Identity 25

Page 213 of many | Previous | Next