-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A Haskell library providing types representing 8, 16, 32, 64 or 128 bytes of data. -- -- Please see the README on GitHub at -- https://github.com/commercialhaskell/static-bytes#readme @package static-bytes @version 0.1.1 module Data.StaticBytes -- | A type representing 8 bytes of data. data Bytes8 -- | A type representing 16 bytes of data. data Bytes16 -- | A type representing 32 bytes of data. data Bytes32 -- | A type representing 64 bytes of data. data Bytes64 -- | A type representing 128 bytes of data. data Bytes128 class DynamicBytes dbytes class StaticBytes sbytes -- | A type representing exceptions thrown by functions expecting data of a -- fixed number of bytes. data StaticBytesException NotEnoughBytes :: StaticBytesException TooManyBytes :: StaticBytesException toStaticExact :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticPad :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticTruncate :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes toStaticPadTruncate :: (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> sbytes fromStatic :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => sbytes -> dbytes instance Data.Data.Data Data.StaticBytes.Bytes8 instance Data.Hashable.Class.Hashable Data.StaticBytes.Bytes8 instance Control.DeepSeq.NFData Data.StaticBytes.Bytes8 instance GHC.Generics.Generic Data.StaticBytes.Bytes8 instance GHC.Classes.Ord Data.StaticBytes.Bytes8 instance GHC.Classes.Eq Data.StaticBytes.Bytes8 instance Data.Data.Data Data.StaticBytes.Bytes16 instance Data.Hashable.Class.Hashable Data.StaticBytes.Bytes16 instance Control.DeepSeq.NFData Data.StaticBytes.Bytes16 instance GHC.Generics.Generic Data.StaticBytes.Bytes16 instance GHC.Classes.Ord Data.StaticBytes.Bytes16 instance GHC.Classes.Eq Data.StaticBytes.Bytes16 instance GHC.Show.Show Data.StaticBytes.Bytes16 instance Data.Data.Data Data.StaticBytes.Bytes32 instance Data.Hashable.Class.Hashable Data.StaticBytes.Bytes32 instance Control.DeepSeq.NFData Data.StaticBytes.Bytes32 instance GHC.Generics.Generic Data.StaticBytes.Bytes32 instance GHC.Classes.Ord Data.StaticBytes.Bytes32 instance GHC.Classes.Eq Data.StaticBytes.Bytes32 instance GHC.Show.Show Data.StaticBytes.Bytes32 instance Data.Data.Data Data.StaticBytes.Bytes64 instance Data.Hashable.Class.Hashable Data.StaticBytes.Bytes64 instance Control.DeepSeq.NFData Data.StaticBytes.Bytes64 instance GHC.Generics.Generic Data.StaticBytes.Bytes64 instance GHC.Classes.Ord Data.StaticBytes.Bytes64 instance GHC.Classes.Eq Data.StaticBytes.Bytes64 instance GHC.Show.Show Data.StaticBytes.Bytes64 instance Data.Data.Data Data.StaticBytes.Bytes128 instance Data.Hashable.Class.Hashable Data.StaticBytes.Bytes128 instance Control.DeepSeq.NFData Data.StaticBytes.Bytes128 instance GHC.Generics.Generic Data.StaticBytes.Bytes128 instance GHC.Classes.Ord Data.StaticBytes.Bytes128 instance GHC.Classes.Eq Data.StaticBytes.Bytes128 instance GHC.Show.Show Data.StaticBytes.Bytes128 instance GHC.Show.Show Data.StaticBytes.StaticBytesException instance GHC.Classes.Eq Data.StaticBytes.StaticBytesException instance Data.StaticBytes.StaticBytes Data.StaticBytes.Bytes8 instance Data.StaticBytes.StaticBytes Data.StaticBytes.Bytes16 instance Data.StaticBytes.StaticBytes Data.StaticBytes.Bytes32 instance Data.StaticBytes.StaticBytes Data.StaticBytes.Bytes64 instance Data.StaticBytes.StaticBytes Data.StaticBytes.Bytes128 instance GHC.Show.Show Data.StaticBytes.Bytes8 instance Data.StaticBytes.DynamicBytes Data.ByteString.Internal.Type.ByteString instance (word8 GHC.Types.~ GHC.Word.Word8) => Data.StaticBytes.DynamicBytes (Data.Vector.Storable.Vector word8) instance (word8 GHC.Types.~ GHC.Word.Word8) => Data.StaticBytes.DynamicBytes (Data.Vector.Primitive.Vector word8) instance (word8 GHC.Types.~ GHC.Word.Word8) => Data.StaticBytes.DynamicBytes (Data.Vector.Unboxed.Base.Vector word8) instance GHC.Exception.Type.Exception Data.StaticBytes.StaticBytesException instance Data.ByteArray.Types.ByteArrayAccess Data.StaticBytes.Bytes128 instance Data.ByteArray.Types.ByteArrayAccess Data.StaticBytes.Bytes64 instance Data.ByteArray.Types.ByteArrayAccess Data.StaticBytes.Bytes32 instance Data.ByteArray.Types.ByteArrayAccess Data.StaticBytes.Bytes16 instance Data.ByteArray.Types.ByteArrayAccess Data.StaticBytes.Bytes8