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


-- | Overloaded pragmas as a plugin
--   
--   Implement <tt>Overloaded</tt> pragmas as a source plugin
--   
--   For example we can replace
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}
--   </pre>
--   
--   with
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Strings #-}
--   </pre>
@package overloaded
@version 0.1


-- | Overloaded characters.
module Overloaded.Chars

-- | Class for <a>Char</a>-like datastructures
--   
--   A character literal <tt><tt>x</tt></tt> is desugared to
--   
--   <pre>
--   <a>fromChar</a> 'x'
--   </pre>
class FromChar a
fromChar :: FromChar a => Char -> a
instance Overloaded.Chars.FromChar GHC.Types.Char


-- | Overloaded <tt>if</tt>-expression.
module Overloaded.If

-- | Class for <a>Bool</a>-like datastrucutres
--   
--   An <tt>if-</tt>-expression <tt>if b then t else e</tt> is desugared to
--   
--   <pre>
--   ifte (<a>toBool</a> b) t e
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:If #-}
--   </pre>
class ToBool b
toBool :: ToBool b => b -> Bool

-- | <a>ToBool</a> overloaded <tt>if</tt>-expression.
ifte :: ToBool b => b -> a -> a -> a
instance Overloaded.If.ToBool GHC.Types.Bool
instance Overloaded.If.ToBool (GHC.Maybe.Maybe a)
instance Overloaded.If.ToBool (Data.Either.Either b a)


-- | Another way to desugar overloaded numeric literals. See
--   <tt>FromNatural</tt>.
--   
--   An explicit list expression, e.g. <tt>[1, True]</tt> is desugared to
--   
--   <pre>
--   cons 1 (cons True nil)
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Lists #-}
--   </pre>
module Overloaded.Lists

-- | Class for nil, <tt>[]</tt>
--   
--   See test-suite for ways to define instances for <a>Map</a>. There are
--   at-least two-ways.
class Nil a
nil :: Nil a => a

-- | Class for Cons <tt>:</tt>.
class Cons x ys zs | zs -> x ys
cons :: Cons x ys zs => x -> ys -> zs
instance Overloaded.Lists.Cons a [a] [a]
instance Overloaded.Lists.Cons a [a] (GHC.Base.NonEmpty a)
instance Overloaded.Lists.Cons a (Data.Vec.Lazy.Vec n a) (Data.Vec.Lazy.Vec ('Data.Nat.S n) a)
instance Overloaded.Lists.Cons (f x) (Data.SOP.NP.NP f xs) (Data.SOP.NP.NP f (x : xs))
instance Overloaded.Lists.Cons (Data.SOP.NP.NP f xs) (Data.SOP.NP.POP f xss) (Data.SOP.NP.POP f (xs : xss))
instance Overloaded.Lists.Nil [a]
instance (n Data.Type.Equality.~ 'Data.Nat.Z) => Overloaded.Lists.Nil (Data.Vec.Lazy.Vec n a)
instance (xs Data.Type.Equality.~ '[]) => Overloaded.Lists.Nil (Data.SOP.NP.NP f xs)
instance (xs Data.Type.Equality.~ '[]) => Overloaded.Lists.Nil (Data.SOP.NP.POP f xs)


-- | Overloaded natural numbers.
module Overloaded.Naturals

-- | Class for <a>Natural</a>-like datastructures
--   
--   A numeric literal <tt>42</tt> is desugared to
--   
--   <pre>
--   <a>fromNatural</a> 42
--   </pre>
class FromNatural a
fromNatural :: FromNatural a => Natural -> a
instance Overloaded.Naturals.FromNatural GHC.Natural.Natural
instance Overloaded.Naturals.FromNatural GHC.Integer.Type.Integer


-- | Another way to desugar overloaded numeric literals. See
--   <a>FromNumeral</a>.
module Overloaded.Numerals

-- | Another way to desugar numerals.
--   
--   A numeric literal <tt>123</tt> is desugared to
--   
--   <pre>
--   <a>fromNumeral</a> @123
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Numerals #-}
--   </pre>
--   
--   One can do type-level computations with this.
class FromNumeral (n :: Nat) a
fromNumeral :: FromNumeral n a => a

-- | Default implementation of <a>fromNumeral</a>.
--   
--   Usage example:
--   
--   <pre>
--   instance (<a>KnownNat</a> n, ...) =&gt; <a>FromNumeral</a> n MyType where
--       <a>fromNumeral</a> = <a>defaultFromNumeral</a> @n
--   </pre>
defaultFromNumeral :: forall n a. (KnownNat n, Integral a) => a
instance Overloaded.Numerals.FinFromNumeral 'Data.Nat.Z ('Data.Nat.S m)
instance Overloaded.Numerals.FinFromNumeral n m => Overloaded.Numerals.FinFromNumeral ('Data.Nat.S n) ('Data.Nat.S m)
instance (Overloaded.Numerals.FinFromNumeral (Data.Type.Nat.FromGHC n) m, Overloaded.Numerals.IsLess (Data.Type.Nat.FromGHC n) m n (Data.Type.Nat.ToGHC m)) => Overloaded.Numerals.FromNumeral n (Data.Fin.Fin m)
instance (GHC.TypeNats.KnownNat n, Overloaded.Numerals.OverflowCheck n "Word8" (n GHC.TypeNats.<=? 255)) => Overloaded.Numerals.FromNumeral n GHC.Word.Word8
instance (GHC.TypeNats.KnownNat n, Overloaded.Numerals.OverflowCheck n "Word8" (n GHC.TypeNats.<=? 65535)) => Overloaded.Numerals.FromNumeral n GHC.Word.Word16
instance (GHC.TypeNats.KnownNat n, Overloaded.Numerals.OverflowCheck n "Word8" (n GHC.TypeNats.<=? 4294967295)) => Overloaded.Numerals.FromNumeral n GHC.Word.Word32
instance (GHC.TypeNats.KnownNat n, Overloaded.Numerals.OverflowCheck n "Word8" (n GHC.TypeNats.<=? 18446744073709551615)) => Overloaded.Numerals.FromNumeral n GHC.Word.Word64
instance GHC.TypeNats.KnownNat n => Overloaded.Numerals.FromNumeral n GHC.Natural.Natural
instance GHC.TypeNats.KnownNat n => Overloaded.Numerals.FromNumeral n GHC.Integer.Type.Integer
instance GHC.TypeNats.KnownNat n => Overloaded.Numerals.FromNumeral n GHC.Types.Int
instance GHC.TypeNats.KnownNat n => Overloaded.Numerals.FromNumeral n Data.Nat.Nat


-- | Overloaded plugin, which makes magic possible.
module Overloaded.Plugin

-- | <tt>Overloaded</tt> plugin.
--   
--   To enable plugin put the following at top of the module:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}
--   </pre>
--   
--   At least one option is required, multiple can given either using
--   multiple <tt>-fplugin-opt</tt> options, or by separating options with
--   colon:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols:Numerals #-}
--   </pre>
--   
--   Options also take optional desugaring names, for example
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Labels=Data.Generics.ProductFields.field #-}
--   </pre>
--   
--   to desugar <tt>OverloadedLabels</tt> directly into <tt>field</tt> from
--   <tt>generics-lens</tt> (no need to import orphan instance!)
--   
--   <h2>Supported options</h2>
--   
--   <ul>
--   <li><tt>Symbols</tt> desugars literal strings to <tt><a>fromSymbol</a>
--   @sym</tt></li>
--   <li><tt>Strings</tt> works like built-in <tt>OverloadedStrings</tt>
--   (but you can use different method than <a>fromString</a>)</li>
--   <li><tt>Numerals</tt> desugars literal numbers to
--   <tt><a>fromNumeral</a> @nat</tt></li>
--   <li><tt>Naturals</tt> desugars literal numbers to
--   <tt><a>fromNatural</a> nat</tt> (i.e. like <a>fromString</a>)</li>
--   <li><tt>Chars</tt> desugars literal characters to <tt><a>fromChars</a>
--   c</tt>. <i>Note:</i> there isn't type-level alternative: we cannot
--   promote <a>Char</a>s.</li>
--   <li><tt>Lists</tt> <b>is not</b> like built-in
--   <tt>OverloadedLists</tt>, but desugars explicit lists to <a>cons</a>
--   and <a>nil</a></li>
--   <li><tt>If</tt> desugars <tt>if</tt>-expressions to <tt><a>ifte</a> b
--   t e</tt></li>
--   <li><tt>Labels</tt> works like built-in <tt>OverloadedLabels</tt> (you
--   should enable <tt>OverloadedLabels</tt> so parser recognises the
--   syntax)</li>
--   </ul>
--   
--   <h2>Known limitations</h2>
--   
--   <ul>
--   <li>Doesn't desugar inside patterns</li>
--   </ul>
plugin :: Plugin
instance GHC.Show.Show Overloaded.Plugin.Options
instance GHC.Classes.Eq Overloaded.Plugin.Options
instance GHC.Show.Show a => GHC.Show.Show (Overloaded.Plugin.V2 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Overloaded.Plugin.V2 a)
instance GHC.Show.Show Overloaded.Plugin.StrSym
instance GHC.Classes.Eq Overloaded.Plugin.StrSym
instance GHC.Show.Show Overloaded.Plugin.NumNat
instance GHC.Classes.Eq Overloaded.Plugin.NumNat
instance GHC.Show.Show Overloaded.Plugin.VarName
instance GHC.Classes.Eq Overloaded.Plugin.VarName
instance GHC.Show.Show a => GHC.Show.Show (Overloaded.Plugin.OnOff a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Overloaded.Plugin.OnOff a)


-- | Another way to desugar overloaded string literals. See
--   <a>FromSymbol</a>.
module Overloaded.Symbols

-- | Another way to desugar overloaded string literals using this class.
--   
--   A string literal <tt>"example"</tt> is desugared to
--   
--   <pre>
--   <a>fromSymbol</a> @"example"
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}
--   </pre>
class FromSymbol (s :: Symbol) a
fromSymbol :: FromSymbol s a => a
instance (GHC.TypeLits.KnownSymbol s, Overloaded.Symbols.SeqList (Data.Symbol.Ascii.Internal.ToList s)) => Overloaded.Symbols.FromSymbol s Data.ByteString.Internal.ByteString
instance (GHC.TypeLits.KnownSymbol s, Overloaded.Symbols.SeqList (Data.Symbol.Ascii.Internal.ToList s)) => Overloaded.Symbols.FromSymbol s Data.ByteString.Lazy.Internal.ByteString
instance (GHC.TypeLits.KnownSymbol s, a Data.Type.Equality.~ GHC.Types.Char) => Overloaded.Symbols.FromSymbol s [a]
instance GHC.TypeLits.KnownSymbol s => Overloaded.Symbols.FromSymbol s Data.Text.Internal.Text
instance GHC.TypeLits.KnownSymbol s => Overloaded.Symbols.FromSymbol s Data.Text.Internal.Lazy.Text


-- | <tt>Overloaded*</tt> language extensions as a source plugin.
module Overloaded

-- | <tt>Overloaded</tt> plugin.
--   
--   To enable plugin put the following at top of the module:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}
--   </pre>
--   
--   At least one option is required, multiple can given either using
--   multiple <tt>-fplugin-opt</tt> options, or by separating options with
--   colon:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols:Numerals #-}
--   </pre>
--   
--   Options also take optional desugaring names, for example
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Labels=Data.Generics.ProductFields.field #-}
--   </pre>
--   
--   to desugar <tt>OverloadedLabels</tt> directly into <tt>field</tt> from
--   <tt>generics-lens</tt> (no need to import orphan instance!)
--   
--   <h2>Supported options</h2>
--   
--   <ul>
--   <li><tt>Symbols</tt> desugars literal strings to <tt><a>fromSymbol</a>
--   @sym</tt></li>
--   <li><tt>Strings</tt> works like built-in <tt>OverloadedStrings</tt>
--   (but you can use different method than <a>fromString</a>)</li>
--   <li><tt>Numerals</tt> desugars literal numbers to
--   <tt><a>fromNumeral</a> @nat</tt></li>
--   <li><tt>Naturals</tt> desugars literal numbers to
--   <tt><a>fromNatural</a> nat</tt> (i.e. like <a>fromString</a>)</li>
--   <li><tt>Chars</tt> desugars literal characters to <tt><a>fromChars</a>
--   c</tt>. <i>Note:</i> there isn't type-level alternative: we cannot
--   promote <a>Char</a>s.</li>
--   <li><tt>Lists</tt> <b>is not</b> like built-in
--   <tt>OverloadedLists</tt>, but desugars explicit lists to <a>cons</a>
--   and <a>nil</a></li>
--   <li><tt>If</tt> desugars <tt>if</tt>-expressions to <tt><a>ifte</a> b
--   t e</tt></li>
--   <li><tt>Labels</tt> works like built-in <tt>OverloadedLabels</tt> (you
--   should enable <tt>OverloadedLabels</tt> so parser recognises the
--   syntax)</li>
--   </ul>
--   
--   <h2>Known limitations</h2>
--   
--   <ul>
--   <li>Doesn't desugar inside patterns</li>
--   </ul>
plugin :: Plugin

-- | Another way to desugar overloaded string literals using this class.
--   
--   A string literal <tt>"example"</tt> is desugared to
--   
--   <pre>
--   <a>fromSymbol</a> @"example"
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}
--   </pre>
class FromSymbol (s :: Symbol) a
fromSymbol :: FromSymbol s a => a

-- | Another way to desugar numerals.
--   
--   A numeric literal <tt>123</tt> is desugared to
--   
--   <pre>
--   <a>fromNumeral</a> @123
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Numerals #-}
--   </pre>
--   
--   One can do type-level computations with this.
class FromNumeral (n :: Nat) a
fromNumeral :: FromNumeral n a => a

-- | Default implementation of <a>fromNumeral</a>.
--   
--   Usage example:
--   
--   <pre>
--   instance (<a>KnownNat</a> n, ...) =&gt; <a>FromNumeral</a> n MyType where
--       <a>fromNumeral</a> = <a>defaultFromNumeral</a> @n
--   </pre>
defaultFromNumeral :: forall n a. (KnownNat n, Integral a) => a

-- | Class for <a>Natural</a>-like datastructures
--   
--   A numeric literal <tt>42</tt> is desugared to
--   
--   <pre>
--   <a>fromNatural</a> 42
--   </pre>
class FromNatural a
fromNatural :: FromNatural a => Natural -> a

-- | Class for <a>Char</a>-like datastructures
--   
--   A character literal <tt><tt>x</tt></tt> is desugared to
--   
--   <pre>
--   <a>fromChar</a> 'x'
--   </pre>
class FromChar a
fromChar :: FromChar a => Char -> a

-- | Class for nil, <tt>[]</tt>
--   
--   See test-suite for ways to define instances for <a>Map</a>. There are
--   at-least two-ways.
class Nil a
nil :: Nil a => a

-- | Class for Cons <tt>:</tt>.
class Cons x ys zs | zs -> x ys
cons :: Cons x ys zs => x -> ys -> zs

-- | Class for <a>Bool</a>-like datastrucutres
--   
--   An <tt>if-</tt>-expression <tt>if b then t else e</tt> is desugared to
--   
--   <pre>
--   ifte (<a>toBool</a> b) t e
--   </pre>
--   
--   Enabled with:
--   
--   <pre>
--   {-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:If #-}
--   </pre>
class ToBool b
toBool :: ToBool b => b -> Bool

-- | <a>ToBool</a> overloaded <tt>if</tt>-expression.
ifte :: ToBool b => b -> a -> a -> a