Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. unSingleton :: forall (f :: Type -> Type) a . OneOrMoreApp ('SetApp f (Singleton a)) -> a

    type-set Data.OneOrMoreApp

    No documentation available.

  2. data SetSingletonConstructors (a :: k)

    dhall Dhall.Deriving

    SetSingletonConstructors t replaces the singletonConstructors from options with the value-level version of t.

  3. class ToSingletonConstructors (a :: SingletonConstructors)

    dhall Dhall.Deriving

    Convert a type of kind SingletonConstructors into a value of type SingletonConstructors

  4. asSingletonConstructors :: ToSingletonConstructors a => SingletonConstructors

    dhall Dhall.Deriving

    No documentation available.

  5. setSingletonConstructors :: SingletonConstructors -> InterpretOptions -> InterpretOptions

    dhall Dhall.Deriving

    setSingletonConstructors v options replaces the singletonConstructors from options with v.

  6. unorderedSingleton :: k -> v -> Map k v

    dhall Dhall.Map

    Create a Map from a single key-value pair. Any further operations on this map will not retain the order of the keys. 

    >>> unorderedSingleton "A" 1
fromList [("A",1)]

  7. asSingleton :: Array a -> Array a

    harpie Harpie.Array

    Convert a scalar to being a dimensioned array. Do nothing if not a scalar. 

    >>> asSingleton (toScalar 4)
UnsafeArray [1] [4]

  8. asSingleton :: forall (s :: [Nat]) (s' :: [Nat]) a . (KnownNats s, KnownNats s', s' ~ Eval (AsSingleton s)) => Array s a -> Array s' a

    harpie Harpie.Fixed

    Convert a scalar to being a dimensioned array. Do nothing if not a scalar. 

    >>> asSingleton (toScalar 4)
[4]

  9. data AsSingleton (a :: [Nat]) (b :: [Nat])

    harpie Harpie.Shape

    Convert a scalar to a dimensioned shape >>> :k! Eval (AsSingleton '[]) ... = '[1] >>> :k! Eval (AsSingleton [2,3,4]) ... = [2, 3, 4]

  10. asSingleton :: [Int] -> [Int]

    harpie Harpie.Shape

    Convert a scalar to a dimensioned shape 

    >>> asSingleton []
[1]

>>> asSingleton [2,3,4]
[2,3,4]

Page 61 of many | Previous | Next