type-spine 0.1.1 → 0.1.2

raw patch · 2 files changed

+4/−4 lines, 2 files

Files

• Type/Spine/Stage0.hs +3/−3
• type-spine.cabal +1/−1

@@ -10,7 +10,7 @@ Stability   :  experimental Portability :  see LANGUAGE pragmas (... GHC) -Declares the type wrappers (mappings @k -> *) for 'allKinds' and then defines+Declares the type wrappers (mappings @k -> *@) for 'allKinds' and then defines functions for referencing them. Also provides a Template Haskell function for generating the @Spine@ type instances for user-defined datatypes. @@ -25,8 +25,8 @@ import Control.Monad ((<=<))  --- | The @Spine@ type family represents its argument as either a @TypeName@ or--- an application via @(:@)@.+-- | The @Spine@ type family represents its argument as either a 'TypeName' or+-- an application via ':@'. type family Spine t  -- | @TypeName@ represents an occurrence of totally unapplied type name.

@@ -1,5 +1,5 @@ Name:           type-spine-Version:        0.1.1+Version:        0.1.2 License:        BSD3 License-File:   LICENSE Author:         Nicolas Frisby <nicolas.frisby@gmail.com>