Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. semigroupMonoidLaws :: (Semigroup a, Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   No documentation available.

2. data Validation e a

   selective	Control.Selective

   Selective instance for the standard applicative functor Validation. This is a good example of a non-trivial selective functor which is not a monad.

3. module Data.Singletons.Decide

   Defines the class SDecide, allowing for decidable equality over singletons.

4. class SDecide k

   singletons	Data.Singletons.Decide

   Members of the SDecide "kind" class support decidable equality. Instances of this class are generated alongside singleton definitions for datatypes that derive an Eq instance.

5. data Void

   singletons	Data.Singletons.Decide

   Uninhabited data type

6. decideCoercion :: forall k (a :: k) (b :: k) . SDecide k => Sing a -> Sing b -> Maybe (Coercion a b)

   singletons	Data.Singletons.Decide

   A suitable default implementation for testCoercion that leverages SDecide.

7. decideEquality :: forall k (a :: k) (b :: k) . SDecide k => Sing a -> Sing b -> Maybe (a :~: b)

   singletons	Data.Singletons.Decide

   A suitable default implementation for testEquality that leverages SDecide.

8. isValidBase64 :: ByteString -> Bool

   base64	Data.ByteString.Base64

   Tell whether a ByteString value is a valid Base64 format. This will not tell you whether or not this is a correct Base64 representation, only that it conforms to the correct shape. To check whether it is a true Base64 encoded ByteString value, use isBase64.

   Examples:

   >>> isValidBase64 "U3Vu"
   True
   

   >>> isValidBase64 "U3V"
   True
   

   >>> isValidBase64 "U3V="
   True
   

   >>> isValidBase64 "%"
   False
   

9. isValidBase64Url :: ByteString -> Bool

   base64	Data.ByteString.Base64.URL

   Tell whether a ByteString is a valid Base64url format. This will not tell you whether or not this is a correct Base64url representation, only that it conforms to the correct shape. To check whether it is a true Base64 encoded ByteString value, use isBase64Url.

   Examples:

   >>> isValidBase64Url "PDw_Pj4="
   True
   

   >>> isValidBase64Url "PDw_Pj"
   True
   

   >>> isValidBase64Url "%"
   False
   

10. isValidBase64 :: ByteString -> Bool

    base64	Data.ByteString.Lazy.Base64

    Tell whether a ByteString value is a valid Base64 format. This will not tell you whether or not this is a correct Base64 representation, only that it conforms to the correct shape. To check whether it is a true Base64 encoded ByteString value, use isBase64.

    Examples:

    >>> isValidBase64 "U3Vu"
    True
    

    >>> isValidBase64 "U3V"
    True
    

    >>> isValidBase64 "U3V="
    True
    

    >>> isValidBase64 "%"
    False
    

Page 734 of many | Previous | Next