From 0221dd4432c64b0993fdcd19bfb6b83fd353b3a8 Mon Sep 17 00:00:00 2001
From: bosu <boriss@gmail.com>
Date: Wed, 12 Jul 2017 00:04:44 +0300
Subject: [PATCH] Exports Type internals. (#86)

Adds trivial comments on extend, extract functions.

Fixes https://github.com/Gabriel439/Haskell-Dhall-Library/issues/26.
---
 src/Dhall.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Dhall.hs b/src/Dhall.hs
index 4533aee..726a898 100644
--- a/src/Dhall.hs
+++ b/src/Dhall.hs
@@ -19,7 +19,7 @@ module Dhall
     , detailed
 
     -- * Types
-    , Type
+    , Type(..)
     , Interpret(..)
     , InvalidType(..)
     , auto
@@ -299,7 +299,9 @@ detailed =
 -}
 data Type a = Type
     { extract  :: Expr X X -> Maybe a
+    -- ^ Extracts Haskell value from the Dhall expression
     , expected :: Expr Src X
+    -- ^ Dhall type of the Haskell value
     }
     deriving (Functor)