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