filepath-crypto-0.0.0.0: src/Data/Binary/SerializationLength/Class.hs

{-# LANGUAGE TypeFamilies #-}

module Data.Binary.SerializationLength.Class
  ( HasFixedSerializationLength(..)
  ) where

import GHC.TypeLits

class KnownNat (SerializationLength a) => HasFixedSerializationLength a where
  type SerializationLength a :: Nat