Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- create :: forall (mn :: Maybe Type) (mc :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> IO I
- recreate :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO ()
- recreate' :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type) a. WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO a -> IO ()
- destroy :: forall (md :: Maybe Type). D -> I -> M A md -> IO ()
- data I
- data CreateInfo (mn :: Maybe Type) = CreateInfo {}
- data Group s k
- group :: forall (mc :: Maybe Type) k a. D -> M A mc -> (forall s. Group s k -> IO a) -> IO a
- create' :: forall k (mn :: Maybe Type) sm (mc :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> CreateInfo mn -> M A mc -> IO (Either String I)
- destroy' :: forall k sm (mc :: Maybe Type). Ord k => D -> Group sm k -> k -> M A mc -> IO (Either String ())
- lookup :: Ord k => Group sm k -> k -> IO (Maybe I)
CREATE AND DESTROY
create :: forall (mn :: Maybe Type) (mc :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> IO I Source #
recreate :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type). WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO () Source #
recreate' :: forall (mn :: Maybe Type) (mc :: Maybe Type) (md :: Maybe Type) a. WithPoked (M mn) => D -> CreateInfo mn -> M A mc -> M A md -> I -> IO a -> IO () Source #
data CreateInfo (mn :: Maybe Type) Source #
Image Views Group
group :: forall (mc :: Maybe Type) k a. D -> M A mc -> (forall s. Group s k -> IO a) -> IO a Source #
create' :: forall k (mn :: Maybe Type) sm (mc :: Maybe Type). (Ord k, WithPoked (M mn)) => D -> Group sm k -> k -> CreateInfo mn -> M A mc -> IO (Either String I) Source #