Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. ($:) :: ToBuilder b => (Builder -> b) -> Builder -> b

    caster System.Log.Caster.Monad

    Infix version of fix.

  2. ($!) :: (a -> b) -> a -> b

    clash-prelude Clash.HaskellPrelude

    Strict (call-by-value) application operator. It takes a function and an argument, evaluates the argument to weak head normal form (WHNF), then calls the function with that value.

  3. ($$) :: Expr -> Expr -> Maybe Expr

    code-conjure Conjure.Engine

    O(n). Creates an Expr representing a function application. Just an Expr application if the types match, Nothing otherwise. (cf. :$) 

    > value "id" (id :: () -> ()) $$ val ()
Just (id () :: ())

    > value "abs" (abs :: Int -> Int) $$ val (1337 :: Int)
Just (abs 1337 :: Int)

    > value "abs" (abs :: Int -> Int) $$ val 'a'
Nothing

    > value "abs" (abs :: Int -> Int) $$ val ()
Nothing

  4. ($$<) :: Expr -> [Expr] -> [Expr]

    code-conjure Conjure.Engine

    Lists valid applications between an Expr and a list of Exprs. 

    > notE >$$< [false, true, zero]
[not False :: Bool,not True :: Bool]

  5. ($!!) :: Expr -> Int -> Expr

    code-conjure Conjure.Expr

    Extracts the argument of a function application at the given position. 

    (one -+- two) $!! 1
    1 :: Int 
    (one -+- two) $!! 2
    2 :: Int

  6. ($$) :: Expr -> Expr -> Maybe Expr

    code-conjure Conjure.Expr

    O(n). Creates an Expr representing a function application. Just an Expr application if the types match, Nothing otherwise. (cf. :$) 

    > value "id" (id :: () -> ()) $$ val ()
Just (id () :: ())

    > value "abs" (abs :: Int -> Int) $$ val (1337 :: Int)
Just (abs 1337 :: Int)

    > value "abs" (abs :: Int -> Int) $$ val 'a'
Nothing

    > value "abs" (abs :: Int -> Int) $$ val ()
Nothing

  7. ($$**) :: Expr -> Expr -> Maybe Expr

    code-conjure Conjure.Expr

    Like $$ but always works regardless of type. Warning: just like :$, this may produce ill-typed expressions. 

    > zero $$** zero
Just (0 0 :: ill-typed # Int $ Int #)
    Together with $$|<, this function is unused but is useful when experiment with the source to see the effect of type-corrected on pruning the search space. (cf. $$, $$|<)

  8. ($$<) :: Expr -> [Expr] -> [Expr]

    code-conjure Conjure.Expr

    Lists valid applications between an Expr and a list of Exprs. 

    > notE >$$< [false, true, zero]
[not False :: Bool,not True :: Bool]

  9. ($$|<) :: Expr -> Expr -> Maybe Expr

    code-conjure Conjure.Expr

    Like $$ but relaxed to work on correct kinds. 

    > ordE $$|< zero
Just (ord 0 :: ill-typed # Char -> Int $ Int #)

    > zero $$|< zero
Nothing
    Warning: just like :$, this may produce ill-typed expressions. Together with $$**, this function is unused but is useful when experiment with the source to see the effect of type-corrected on pruning the search space. (cf. $$, $$**)

  10. ($!) :: (a -> b) -> a -> b

    dimensional Numeric.Units.Dimensional.Prelude

    Strict (call-by-value) application operator. It takes a function and an argument, evaluates the argument to weak head normal form (WHNF), then calls the function with that value.

Page 25 of many | Previous | Next