Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
Safe Haskell | None |
Language | Haskell2010 |
A GPatternSpec struct is the compiled
form of a pattern. This
structure is opaque and its fields cannot be accessed directly.
- newtype PatternSpec = PatternSpec (ForeignPtr PatternSpec)
- noPatternSpec :: Maybe PatternSpec
- data PatternSpecEqualMethodInfo
- patternSpecEqual :: MonadIO m => PatternSpec -> PatternSpec -> m Bool
- data PatternSpecFreeMethodInfo
- patternSpecFree :: MonadIO m => PatternSpec -> m ()
Exported types
newtype PatternSpec Source
((~) * info (ResolvePatternSpecMethod t PatternSpec), MethodInfo * info PatternSpec p) => IsLabel t (PatternSpec -> p) Source | |
((~) * info (ResolvePatternSpecMethod t PatternSpec), MethodInfo * info PatternSpec p) => IsLabelProxy t (PatternSpec -> p) Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) PatternSpecFreeMethodInfo PatternSpec signature Source | |
((~) (TYPE Lifted) signature (PatternSpec -> m Bool), MonadIO m) => MethodInfo (TYPE Lifted) PatternSpecEqualMethodInfo PatternSpec signature Source | |
Methods
patternSpecEqual
data PatternSpecEqualMethodInfo Source
((~) (TYPE Lifted) signature (PatternSpec -> m Bool), MonadIO m) => MethodInfo (TYPE Lifted) PatternSpecEqualMethodInfo PatternSpec signature Source | |
patternSpecEqual :: MonadIO m => PatternSpec -> PatternSpec -> m Bool Source
patternSpecFree
data PatternSpecFreeMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) PatternSpecFreeMethodInfo PatternSpec signature Source | |
patternSpecFree :: MonadIO m => PatternSpec -> m () Source