Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. sNotElem :: forall a (t1 :: Type -> Type) (t2 :: a) (t3 :: t1 a) . (SFoldable t1, SEq a) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (NotElemSym0 :: TyFun a (t1 a ~> Bool) -> Type) t2) t3)

   singletons-base	Data.List.Singletons

   No documentation available.

2. sNotElem :: forall a (t1 :: Type -> Type) (t2 :: a) (t3 :: t1 a) . (SFoldable t1, SEq a) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (NotElemSym0 :: TyFun a (t1 a ~> Bool) -> Type) t2) t3)

   singletons-base	Prelude.Singletons

   No documentation available.

3. makeNotEq :: Name -> Q Exp

   deriving-compat	Data.Eq.Deriving

   Generates a lambda expression which behaves like (/=) (without requiring an Eq instance).

4. makeNotEq :: Name -> Q Exp

   deriving-compat	Data.Eq.Deriving.Internal

   Generates a lambda expression which behaves like (/=) (without requiring an Eq instance).

5. explicitNoteOff :: T -> T

   midi	Sound.MIDI.File

   Convert all NoteOn p 0 to NoteOff p 64. The latter one is easier to process.

6. implicitNoteOff :: T -> T

   midi	Sound.MIDI.File

   Convert all NoteOff p 64 to NoteOn p 0. The latter one can be encoded more efficiently using the running status.

7. ticksPerQuarterNote :: Division -> Tempo

   midi	Sound.MIDI.File

   No documentation available.

8. AllNotesOff :: T

   midi	Sound.MIDI.Message.Channel.Mode

   No documentation available.

9. explicitNoteOff :: T -> T

   midi	Sound.MIDI.Message.Channel.Voice

   Convert all NoteOn p 0 to NoteOff p 64. The latter one is easier to process.

10. implicitNoteOff :: T -> T

    midi	Sound.MIDI.Message.Channel.Voice

    Convert all NoteOff p 64 to NoteOn p 0. The latter one can be encoded more efficiently using the running status.

Page 90 of many | Previous | Next