Hoogle Search
Within LTS Haskell 24.64 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
singletons Data.Singletons.Decide Uninhabited data type
decideCoercion :: forall k (a :: k) (b :: k) . SDecide k => Sing a -> Sing b -> Maybe (Coercion a b)singletons Data.Singletons.Decide A suitable default implementation for testCoercion that leverages SDecide.
decideEquality :: forall k (a :: k) (b :: k) . SDecide k => Sing a -> Sing b -> Maybe (a :~: b)singletons Data.Singletons.Decide A suitable default implementation for testEquality that leverages SDecide.
-
gi-gio GI.Gio.Config Overrides used when generating these bindings.
pattern
DRIVE_IDENTIFIER_KIND_UNIX_DEVICE :: Textgi-gio GI.Gio.Constants The string used to obtain a Unix device path with driveGetIdentifier. Since: 2.58
pattern
FILE_ATTRIBUTE_ID_FILE :: Textgi-gio GI.Gio.Constants A key in the "id" namespace for getting a file identifier. Corresponding FileAttributeType is FileAttributeTypeString. An example use would be during listing files, to avoid recursive directory scanning.
pattern
FILE_ATTRIBUTE_ID_FILESYSTEM :: Textgi-gio GI.Gio.Constants A key in the "id" namespace for getting the file system identifier. Corresponding FileAttributeType is FileAttributeTypeString. An example use would be during drag and drop to see if the source and target are on the same filesystem (default to move) or not (default to copy).
pattern
FILE_ATTRIBUTE_STANDARD_IS_HIDDEN :: Textgi-gio GI.Gio.Constants A key in the "standard" namespace for checking if a file is hidden. Corresponding FileAttributeType is FileAttributeTypeBoolean.
pattern
FILE_ATTRIBUTE_THUMBNAIL_IS_VALID :: Textgi-gio GI.Gio.Constants A key in the "thumbnail" namespace for checking whether the thumbnail is outdated. This attribute is True if the thumbnail is up-to-date with the file it represents, and False if the file has been modified since the thumbnail was generated. If FILE_ATTRIBUTE_THUMBNAILING_FAILED is True and this attribute is False, it indicates that thumbnailing may be attempted again and may succeed. Corresponding FileAttributeType is FileAttributeTypeBoolean. Since: 2.40
pattern
FILE_ATTRIBUTE_THUMBNAIL_IS_VALID_LARGE :: Textgi-gio GI.Gio.Constants A key in the "thumbnail" namespace for checking whether the large thumbnail is outdated. This attribute is True if the large thumbnail is up-to-date with the file it represents, and False if the file has been modified since the thumbnail was generated. If FILE_ATTRIBUTE_THUMBNAILING_FAILED_LARGE is True and this attribute is False, it indicates that thumbnailing may be attempted again and may succeed. Corresponding FileAttributeType is FileAttributeTypeBoolean. Since: 2.76