| Copyright | (c) Mateusz Kłoczko 2016 |
|---|---|
| License | MIT |
| Maintainer | mateusz.p.kloczko@gmail.com |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
Foreign.Storable.Generic.Plugin.Internal.Predicates
Description
Predicates for finding GStorable identifiers, plus some others.
Synopsis
- isGStorableInstId :: Id -> Bool
- isSizeOfId :: Id -> Bool
- isAlignmentId :: Id -> Bool
- isPeekId :: Id -> Bool
- isPokeId :: Id -> Bool
- isSpecGStorableInstId :: Id -> Bool
- isSpecSizeOfId :: Id -> Bool
- isSpecAlignmentId :: Id -> Bool
- isSpecPeekId :: Id -> Bool
- isSpecPokeId :: Id -> Bool
- isOffsetsId :: Id -> Bool
- isGStorableId :: Id -> Bool
- isGStorableMethodId :: Id -> Bool
- isNonRecBind :: CoreBind -> Bool
- toIsBind :: (Id -> Bool) -> CoreBind -> Bool
- withTypeCheck :: (Type -> Maybe Type) -> (Id -> Bool) -> Id -> Bool
Documentation
isGStorableInstId :: Id -> Bool Source #
Predicate used to find GStorable instances identifiers.
isSizeOfId :: Id -> Bool Source #
Predicate used to find gsizeOf identifiers
isAlignmentId :: Id -> Bool Source #
Predicate used to find galignment identifiers
isSpecGStorableInstId :: Id -> Bool Source #
Predicate used to find specialized GStorable instance identifiers
isSpecSizeOfId :: Id -> Bool Source #
Predicate used to find specialized gsizeOf identifiers
isSpecAlignmentId :: Id -> Bool Source #
Predicate used to find specialized galignment identifiers
isSpecPeekId :: Id -> Bool Source #
Predicate used to find specialized gpeekByteOff identifiers
isSpecPokeId :: Id -> Bool Source #
Predicate used to find specialized gpokeByteOff identifiers
isOffsetsId :: Id -> Bool Source #
Is offsets id.
isGStorableId :: Id -> Bool Source #
Is a GStorable identifier
isGStorableMethodId :: Id -> Bool Source #
Is the id an GStorable method.
isNonRecBind :: CoreBind -> Bool Source #
Check if binding is non-recursive.