-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generic encoding of records
--   
--   Generic encoding of records. Provides a single function and two
--   typeclasses to encode values of sum types as one-hot vectors.
@package record-encode
@version 0.1.0.0


-- | This library provides generic machinery (via GHC.Generics and
--   `generics-sop`) to encode values of some algebraic type as points in a
--   vector space.
--   
--   Processing datasets that have one or more categorical variables (which
--   in other words are values of a sum type) typically requires a series
--   of boilerplate transformations, and the <a>encodeOneHot</a> function
--   provided here does precisely that.
--   
--   <h2>Internals</h2>
--   
--   This library makes use of generic programming to analyze both values
--   and types (see the internal Data.Record.Encode.Generics module).
--   
--   Initially, it was relying on Template Haskell to analyze <i>types</i>,
--   using the the instance generation machinery explained here:
--   <a>https://markkarpov.com/tutorial/th.html#example-1-instance-generation</a>
module Data.Record.Encode

-- | Computes the one-hot encoding of a value of a sum type.
--   
--   The type of the input value must be an instance of <a>Generic</a>
--   (from GHC.Generics) <i>and</i> of <a>Generic</a> (from the
--   `generics-sop` library).
--   
--   <pre>
--   &gt;&gt;&gt; :set -XDeriveGeneric
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; import qualified GHC.Generics as G
--   
--   &gt;&gt;&gt; import qualified Generics.SOP as SOP
--   
--   &gt;&gt;&gt; import Data.Record.Encode
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; data X = A | B | C deriving (G.Generic)
--   
--   &gt;&gt;&gt; instance SOP.Generic X
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encodeOneHot B
--   [0,1,0]
--   </pre>
encodeOneHot :: forall a. G a => a -> Vector Int

-- | Constraints necessary to <a>encodeOneHot</a> a value.
--   
--   NB: <a>GVariants</a> is an internal typeclass, and this constraint is
--   automatically satisfied if the type is an instance of <a>Generic</a>
type G a = (GVariants (Rep a), Generic a, Generic a)
instance GHC.Generics.Generic (Data.Record.Encode.X a)
instance Generics.SOP.Universe.Generic (Data.Record.Encode.X a)