Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. sFromMaybe :: forall a (t1 :: a) (t2 :: Maybe a) . Sing t1 -> Sing t2 -> Sing (Apply (Apply (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) t1) t2)

    singletons-base Data.Maybe.Singletons

    No documentation available.

  2. sListToMaybe :: forall a (t :: [a]) . Sing t -> Sing (Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) t)

    singletons-base Data.Maybe.Singletons

    No documentation available.

  3. sMapMaybe :: forall a b (t1 :: a ~> Maybe b) (t2 :: [a]) . Sing t1 -> Sing t2 -> Sing (Apply (Apply (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) t1) t2)

    singletons-base Data.Maybe.Singletons

    No documentation available.

  4. sMaybeToList :: forall a (t :: Maybe a) . Sing t -> Sing (Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) t)

    singletons-base Data.Maybe.Singletons

    No documentation available.

  5. sMaybe_ :: forall b a (t1 :: b) (t2 :: a ~> b) (t3 :: Maybe a) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) t1) t2) t3)

    singletons-base Data.Maybe.Singletons

    No documentation available.

  6. data SMaybe (a1 :: Maybe a)

    singletons-base Prelude.Singletons

    No documentation available.

  7. sMaybe_ :: forall b a (t1 :: b) (t2 :: a ~> b) (t3 :: Maybe a) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) t1) t2) t3)

    singletons-base Prelude.Singletons

    No documentation available.

  8. genMaybeMoveB :: TextUnit -> (Direction, BoundarySide) -> Direction -> BufferM ()

    yi-core Yi.Buffer.Normal

    Generic maybe move operation. As genMoveB, but don't move if we are at boundary already.

  9. genMaybeMoveB :: TextUnit -> (Direction, BoundarySide) -> Direction -> BufferM ()

    yi-core Yi.Buffer.TextUnit

    Generic maybe move operation. As genMoveB, but don't move if we are at boundary already.

  10. genMaybeMoveB :: TextUnit -> (Direction, BoundarySide) -> Direction -> BufferM ()

    yi-core Yi.Config.Simple

    Generic maybe move operation. As genMoveB, but don't move if we are at boundary already.

Page 177 of many | Previous | Next