Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. lensProduct :: Lens' s a -> Lens' s b -> Lens' s (a, b)

   Agda	Agda.Utils.Lens

   Only sound if the lenses are disjoint!

2. type StrictProducts (as :: [Type]) = Foldr StrictPair () as

   Agda	Agda.Utils.TypeLevel

   No documentation available.

3. leftNonEmptyProduct :: C set => T a -> set a -> set a

   board-games	Game.Mastermind.CodeSet

   No documentation available.

4. bugProduct :: Bug -> Text

   bugzilla-redhat	Web.RedHatBugzilla

   No documentation available.

5. CustomProduct :: Text -> DataRepr' -> Size -> Maybe [Text] -> [(FieldAnn, HWType)] -> HWType

   clash-lib	Clash.Netlist.Types

   Same as Product, but with a user specified bit representation. For more info, see: Clash.Annotations.BitRepresentations.

6. ExpandedPortProduct :: Text -> HWType -> [ExpandedPortName a] -> ExpandedPortName a

   clash-lib	Clash.Netlist.Types

   Same as PortProduct, but fully expanded

7. PortProductError :: PortName -> HWType -> ExpandError

   clash-lib	Clash.Netlist.Util

   Something was annotated as being a PortProduct, but wasn't one

8. portProductError :: String -> HWType -> ExpandedPortName Identifier -> a

   clash-lib	Clash.Netlist.Util

   No documentation available.

9. constructProduct :: HWType -> [TExpr] -> TExpr

   clash-lib	Clash.Primitives.DSL

   Construct a product type given its type and fields

10. deconstructProduct :: (HasCallStack, Backend backend) => TExpr -> [Text] -> State (BlockState backend) [TExpr]

    clash-lib	Clash.Primitives.DSL

    Extract the fields of a product type and return expressions to them. These new expressions are given unique names and get declared in the block scope.

Page 135 of many | Previous | Next