Data.Snowchecked.Encoding.Integral

This module provides a generalized conversion function between a Flake and all members of the typeclass Integral. It is specialized for the Integer, Word32, and Word64 types. It is marked as incoherent due to the constraint being no smaller than the instance type, so it is undecidable.

Documentation

module Data.Snowchecked.Encoding.Class

Orphan instances

Integral a => IsFlake a

Methods

fromFlake :: Flake -> a

parseFlake :: MonadFail m => SnowcheckedConfig -> a -> m Flake

parseFish :: MonadFail m => SnowcheckedConfig -> a -> m Flakeish