Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

  1. module Data.Type.SetApp

    No documentation available.

  2. data SetApp a

    type-set Data.Type.SetApp

    No documentation available.

  3. data SetSingletonConstructors (a :: k)

    dhall Dhall.Deriving

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

  4. data SettingAction

    gi-gdk3 GI.Gdk.Enums

    Specifies the kind of modification applied to a setting in a EventSetting.

  5. SettingActionChanged :: SettingAction

    gi-gdk3 GI.Gdk.Enums

    a setting was changed.

  6. SettingActionDeleted :: SettingAction

    gi-gdk3 GI.Gdk.Enums

    a setting was deleted.

  7. SettingActionNew :: SettingAction

    gi-gdk3 GI.Gdk.Enums

    a setting was added.

  8. data SetDim (a :: Nat) (b :: Nat) (c :: [Nat]) (d :: [Nat])

    harpie Harpie.Shape

    replace an index at a specific dimension. 

    >>> :k! Eval (SetDim 0 1 [2,3,4])
...
= [1, 3, 4]

  9. data SetDims (a :: [Nat]) (b :: [Nat]) (c :: [Nat]) (d :: [Nat])

    harpie Harpie.Shape

    Set dimensions of a shape. 

    >>> :k! Eval (SetDims [0,1] [1,5] [2,3,4])
...
= [1, 5, 4]

    >>> :k! Eval (SetDims '[0] '[3] '[])
...
= '[3]

  10. data SetIndex (b :: Nat) (c :: a) (d :: [a]) (e :: [a])

    harpie Harpie.Shape

    Modify an element at a given index. The list is unchanged if the index is out of bounds.

    Example

    >>> :kind! Eval (SetIndex 2 7 [1,2,3])
Eval (SetIndex 2 7 [1,2,3]) :: [Natural]
= [1, 2, 7]

Page 42 of many | Previous | Next