Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
.
fromFlake, (parseFish | parseFlake)
fromFlake :: Flake -> a Source #
parseFlake :: MonadFail m => SnowcheckedConfig -> a -> m Flake Source #
parseFish :: MonadFail m => SnowcheckedConfig -> a -> m Flakeish Source #
Instances
Integral a => IsFlake a Source # | |
Defined in Data.Snowchecked.Encoding.Integral | |
IsFlake ByteString Source # | |
Defined in Data.Snowchecked.Encoding.ByteString.Lazy 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 fromFlake :: Flake -> ByteString Source # parseFlake :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flake Source # parseFish :: MonadFail m => SnowcheckedConfig -> ByteString -> m Flakeish Source # | |
(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?