{-# LANGUAGE TypeFamilies #-}

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

import GHC.TypeLits

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