| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Snowchecked.Encoding.Class
Synopsis
- class IsFlake a where
- fromFlake :: Flake -> a
- parseFlake :: MonadFail m => SnowcheckedConfig -> a -> m Flake
- parseFish :: MonadFail m => SnowcheckedConfig -> a -> m Flakeish
- data Flakeish = Flakeish {}
- goodFish :: SnowcheckedConfig -> Flakeish -> Bool
Documentation
class IsFlake a where Source #
The class of things that can be generated from and to a Flake.
Minimal complete definition
fromFlake, (parseFish | parseFlake)
Methods
fromFlake :: Flake -> a Source #
parseFlake :: MonadFail m => SnowcheckedConfig -> a -> m Flake Source #
parseFish :: MonadFail m => SnowcheckedConfig -> a -> m Flakeish Source #
Instances
| IsFlake ByteString Source # | |
Defined in Data.Snowchecked.Encoding.ByteString Methods fromFlake :: Flake -> ByteString Source # parseFlake :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flake Source # parseFish :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flakeish Source # | |
| IsFlake ByteString Source # | |
Defined in Data.Snowchecked.Encoding.ByteString.Lazy Methods fromFlake :: Flake -> ByteString Source # parseFlake :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flake Source # parseFish :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flakeish Source # | |
| Integral a => IsFlake a Source # | |
Defined in Data.Snowchecked.Encoding.Integral | |
| (ToText a, FromText a) => IsFlake (Base16 a) Source # | |
Defined in Data.Snowchecked.Encoding.Text | |
Something that might be a Flake. The fields might not be truncated to the appropriate size.
goodFish :: SnowcheckedConfig -> Flakeish -> Bool Source #
Is this Flakeish valid under the given SnowcheckedConfig settings?