Copyright | (c) Mateusz Kłoczko 2016 |
---|---|
License | MIT |
Maintainer | mateusz.p.kloczko@gmail.com |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Predicates for finding GStorable identifiers, plus some others.
- 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.