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.

Exact lookup

1. identifierSetM :: IdentifierSetMonad m => (IdentifierSet -> IdentifierSet) -> m IdentifierSet

   clash-lib	Clash.Netlist.Types

   No documentation available.

2. idToInPort :: Id -> NetlistMonad (Maybe (Identifier, HWType))

   clash-lib	Clash.Netlist.Util

   Same as idToPort, but * Throws an error if the port is a composite type with a BiSignalIn

3. idToOutPort :: Id -> NetlistMonad (Maybe (Identifier, HWType))

   clash-lib	Clash.Netlist.Util

   Same as idToPort, but: * Throws an error if port is of type BiSignalIn

4. idToPort :: Id -> NetlistMonad (Maybe (Identifier, HWType))

   clash-lib	Clash.Netlist.Util

   No documentation available.

5. id' :: Expr -> Expr

   code-conjure	Conjure.Engine

   Constructs an application of id as an Expr. Only works for Int, Bool, Char, String, [Int], [Bool].

   > id' yy
   id yy :: Int
   

   > id' one
   id 1 :: Int
   

   > evl (id' one) :: Int
   1
   

   > id' pp
   id p :: Bool
   

   > id' false
   id' False :: Bool
   

   > evl (id' true) :: Bool
   True :: Bool
   

6. idBool :: Expr

   code-conjure	Conjure.Engine

   The function id encoded as an Expr. (cf. id')

7. idBools :: Expr

   code-conjure	Conjure.Engine

   The function id encoded as an Expr. (cf. id')

8. idChar :: Expr

   code-conjure	Conjure.Engine

   The function id encoded as an Expr. (cf. id')

9. idE :: Expr

   code-conjure	Conjure.Engine

   The function id for the Int type encoded as an Expr. (See also id'.)

   > idE :$ xx
   id x :: Int
   

   > idE :$ zero
   id 0 :: Int
   

   > evaluate $ idE :$ zero :: Maybe Int
   Just 0
   

10. idInt :: Expr

    code-conjure	Conjure.Engine

    The function id encoded as an Expr. (cf. id')

Page 314 of many | Previous | Next