XEd25519 signature algorithm.

1 files changed, 14 insertions, 0 deletions

diff --git a/src/Data/Sized.hs b/src/Data/Sized.hs
new file mode 100644
index 00000000..0d3d5845
--- /dev/null
+++ b/src/Data/Sized.hs
@@ -0,0 +1,14 @@
+module Data.Sized where
+
+import Data.Typeable
+
+
+-- | Info about a type's serialized length. Either the length is known
+-- independently of the value, or the length depends on the value.
+data Size a
+    = VarSize (a -> Int)
+    | ConstSize !Int
+    deriving Typeable
+
+class Sized a where size :: Size a
+