Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
SetSingletonConstructors (a :: k)dhall Dhall.Deriving SetSingletonConstructors t replaces the singletonConstructors from options with the value-level version of t.
class
ToSingletonConstructors (a :: SingletonConstructors)dhall Dhall.Deriving Convert a type of kind SingletonConstructors into a value of type SingletonConstructors
asSingletonConstructors :: ToSingletonConstructors a => SingletonConstructorsdhall Dhall.Deriving No documentation available.
setSingletonConstructors :: SingletonConstructors -> InterpretOptions -> InterpretOptionsdhall Dhall.Deriving setSingletonConstructors v options replaces the singletonConstructors from options with v.
unorderedSingleton :: k -> v -> Map k vdhall 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)]asSingleton :: Array a -> Array aharpie Harpie.Array Convert a scalar to being a dimensioned array. Do nothing if not a scalar.
>>> asSingleton (toScalar 4) UnsafeArray [1] [4]
-
harpie Harpie.Fixed Convert a scalar to being a dimensioned array. Do nothing if not a scalar.
>>> asSingleton (toScalar 4) [4]
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]
-
harpie Harpie.Shape Convert a scalar to a dimensioned shape
>>> asSingleton [] [1] >>> asSingleton [2,3,4] [2,3,4]
-
Chart Graphics.Rendering.Chart.Plot.Bars No documentation available.