Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. (:-) :: Expr -> Expr -> Expr

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   Subtraction

2. (:/=) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

3. (:<) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

4. (:<=) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

5. (:==) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

6. (:>) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

7. (:>=) :: Expr -> Expr -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

8. (:||) :: Prop -> Prop -> Prop

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

9. pattern (:<) :: Array a -> Array a -> Array a

   harpie	Harpie.Array

   Convenience pattern for row extraction and consolidation at the beginning of an Array.

   >>> (x:<xs) = array [4] [0..3]
   
   >>> x
   UnsafeArray [] [0]
   
   >>> xs
   UnsafeArray [3] [1,2,3]
   
   >>> (x:<xs)
   UnsafeArray [4] [0,1,2,3]
   

10. pattern (:>) :: Array a -> Array a -> Array a

    harpie	Harpie.Array

    Convenience pattern for row extraction and consolidation at the end of an Array.

    >>> (xs:>x) = array [4] [0..3]
    
    >>> x
    UnsafeArray [] [3]
    
    >>> xs
    UnsafeArray [3] [0,1,2]
    
    >>> (xs:>x)
    UnsafeArray [4] [0,1,2,3]
    

Page 31 of many | Previous | Next