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


-- | Elm syntax and pretty-printing
--   
--   Please see the README on GitHub at
--   <a>https://github.com/folq/elm-syntax#readme</a>
@package elm-syntax
@version 0.3.2.0

module Language.Elm.Name
type Module = [Text]
newtype Local
Local :: Text -> Local
data Qualified
Qualified :: Module -> Text -> Qualified
newtype Field
Field :: Text -> Field
newtype Constructor
Constructor :: Text -> Constructor
isConstructor :: Qualified -> Bool
instance Data.Hashable.Class.Hashable Language.Elm.Name.Local
instance Data.String.IsString Language.Elm.Name.Local
instance GHC.Generics.Generic Language.Elm.Name.Local
instance GHC.Show.Show Language.Elm.Name.Local
instance GHC.Classes.Ord Language.Elm.Name.Local
instance GHC.Classes.Eq Language.Elm.Name.Local
instance Data.Hashable.Class.Hashable Language.Elm.Name.Qualified
instance GHC.Generics.Generic Language.Elm.Name.Qualified
instance GHC.Show.Show Language.Elm.Name.Qualified
instance GHC.Classes.Ord Language.Elm.Name.Qualified
instance GHC.Classes.Eq Language.Elm.Name.Qualified
instance Data.Hashable.Class.Hashable Language.Elm.Name.Field
instance Data.String.IsString Language.Elm.Name.Field
instance GHC.Generics.Generic Language.Elm.Name.Field
instance GHC.Show.Show Language.Elm.Name.Field
instance GHC.Classes.Ord Language.Elm.Name.Field
instance GHC.Classes.Eq Language.Elm.Name.Field
instance Data.Hashable.Class.Hashable Language.Elm.Name.Constructor
instance Data.String.IsString Language.Elm.Name.Constructor
instance GHC.Generics.Generic Language.Elm.Name.Constructor
instance GHC.Show.Show Language.Elm.Name.Constructor
instance GHC.Classes.Ord Language.Elm.Name.Constructor
instance GHC.Classes.Eq Language.Elm.Name.Constructor
instance Data.String.IsString Language.Elm.Name.Qualified

module Language.Elm.Pattern
data Pattern v
Var :: v -> Pattern v
Wildcard :: Pattern v
Con :: Qualified -> [Pattern v] -> Pattern v
List :: [Pattern v] -> Pattern v
String :: !Text -> Pattern v
Int :: !Integer -> Pattern v
Float :: !Double -> Pattern v
foldMapGlobals :: Monoid m => (Qualified -> m) -> Pattern v -> m
tuple :: Pattern v -> Pattern v -> Pattern v
instance Data.Traversable.Traversable Language.Elm.Pattern.Pattern
instance Data.Foldable.Foldable Language.Elm.Pattern.Pattern
instance GHC.Base.Functor Language.Elm.Pattern.Pattern
instance GHC.Show.Show v => GHC.Show.Show (Language.Elm.Pattern.Pattern v)
instance GHC.Classes.Ord v => GHC.Classes.Ord (Language.Elm.Pattern.Pattern v)
instance GHC.Classes.Eq v => GHC.Classes.Eq (Language.Elm.Pattern.Pattern v)

module Language.Elm.Expression
data Expression v
Var :: v -> Expression v
Global :: Qualified -> Expression v
App :: Expression v -> Expression v -> Expression v
Let :: Expression v -> Scope () Expression v -> Expression v
Lam :: Scope () Expression v -> Expression v
Record :: [(Field, Expression v)] -> Expression v
Proj :: Field -> Expression v
Case :: Expression v -> [(Pattern Int, Scope Int Expression v)] -> Expression v
List :: [Expression v] -> Expression v
String :: !Text -> Expression v
Int :: !Integer -> Expression v
Float :: !Double -> Expression v
bind :: forall v v'. (Qualified -> Expression v') -> (v -> Expression v') -> Expression v -> Expression v'
apps :: Foldable f => Expression v -> f (Expression v) -> Expression v
appsView :: Expression v -> (Expression v, [Expression v])
if_ :: Expression v -> Expression v -> Expression v -> Expression v
(|>) :: Expression v -> Expression v -> Expression v
(<|) :: Expression v -> Expression v -> Expression v
(<<) :: Expression v -> Expression v -> Expression v
(>>) :: Expression v -> Expression v -> Expression v
(++) :: Expression v -> Expression v -> Expression v
tuple :: Expression v -> Expression v -> Expression v
lets :: Eq b => [(b, Expression v)] -> Scope b Expression v -> Expression v
foldMapGlobals :: Monoid m => (Qualified -> m) -> Expression v -> m
instance GHC.Classes.Eq v => GHC.Classes.Eq (Language.Elm.Expression.Expression v)
instance GHC.Classes.Ord v => GHC.Classes.Ord (Language.Elm.Expression.Expression v)
instance GHC.Show.Show v => GHC.Show.Show (Language.Elm.Expression.Expression v)
instance Data.Functor.Classes.Show1 Language.Elm.Expression.Expression
instance Data.String.IsString (Language.Elm.Expression.Expression v)
instance Data.Functor.Classes.Ord1 Language.Elm.Expression.Expression
instance Data.Functor.Classes.Eq1 Language.Elm.Expression.Expression
instance Data.Traversable.Traversable Language.Elm.Expression.Expression
instance Data.Foldable.Foldable Language.Elm.Expression.Expression
instance GHC.Base.Functor Language.Elm.Expression.Expression
instance GHC.Base.Applicative Language.Elm.Expression.Expression
instance GHC.Base.Monad Language.Elm.Expression.Expression

module Language.Elm.Type
data Type v
Var :: v -> Type v
Global :: Qualified -> Type v
App :: Type v -> Type v -> Type v
Fun :: Type v -> Type v -> Type v
Record :: [(Field, Type v)] -> Type v
bind :: (Qualified -> Type v') -> (v -> Type v') -> Type v -> Type v'
apps :: Type v -> [Type v] -> Type v
appsView :: Type v -> (Type v, [Type v])
funs :: [Type v] -> Type v -> Type v
tuple :: Type v -> Type v -> Type v
foldMapGlobals :: Monoid m => (Qualified -> m) -> Type v -> m
instance Data.Functor.Classes.Show1 Language.Elm.Type.Type
instance GHC.Base.Applicative Language.Elm.Type.Type
instance GHC.Base.Monad Language.Elm.Type.Type
instance Data.String.IsString (Language.Elm.Type.Type v)
instance Data.Functor.Classes.Ord1 Language.Elm.Type.Type
instance Data.Functor.Classes.Eq1 Language.Elm.Type.Type
instance Data.Traversable.Traversable Language.Elm.Type.Type
instance Data.Foldable.Foldable Language.Elm.Type.Type
instance GHC.Base.Functor Language.Elm.Type.Type
instance GHC.Show.Show v => GHC.Show.Show (Language.Elm.Type.Type v)
instance GHC.Classes.Ord v => GHC.Classes.Ord (Language.Elm.Type.Type v)
instance GHC.Classes.Eq v => GHC.Classes.Eq (Language.Elm.Type.Type v)

module Language.Elm.Definition
data Definition
Constant :: !Qualified -> !Int -> Scope Int Type Void -> Expression Void -> Definition
Type :: !Qualified -> !Int -> [(Constructor, [Scope Int Type Void])] -> Definition
Alias :: !Qualified -> !Int -> Scope Int Type Void -> Definition
name :: Definition -> Qualified
foldMapGlobals :: Monoid m => (Qualified -> m) -> Definition -> m
instance GHC.Show.Show Language.Elm.Definition.Definition
instance GHC.Classes.Ord Language.Elm.Definition.Definition
instance GHC.Classes.Eq Language.Elm.Definition.Definition

module Language.Elm.Simplification

-- | Perform <a>simplifyExpression</a> on all <a>Expression</a>s inside the
--   given <a>Definition</a>.
simplifyDefinition :: Definition -> Definition

-- | Run the following simplifications on the given expression:
--   
--   <ul>
--   <li><pre>identity x = x</pre></li>
--   <li><pre>(f &gt;&gt; g) x = g (f x)</pre></li>
--   <li><pre>f &gt;&gt; identity = f</pre></li>
--   <li><pre>identity &gt;&gt; f = f</pre></li>
--   <li><pre>(f &lt;&lt; g) x = f (g x)</pre></li>
--   <li><pre>f &lt;&lt; identity = f</pre></li>
--   <li><pre>identity &lt;&lt; f= f</pre></li>
--   <li><pre>identity &lt;| x = x</pre></li>
--   <li><pre>x |&gt; identity = x</pre></li>
--   <li><pre>x :: [y, z, ...] = [x, y, z, ...]</pre></li>
--   <li>Calls to <tt>String.join</tt>, <tt>String.concat</tt>,
--   <tt>List.concat</tt>, and <tt>++</tt> with known arguments are
--   simplified. For example, <tt>String.join "<i>" [Config.api,
--   "endpoint"] = Config.api ++ "</i>endpoint"</tt></li>
--   <li><pre>(x. e x) = e</pre></li>
--   <li>Inline <tt>x</tt> in <tt>e'</tt> in <tt> let x = e in e' </tt> if
--   either:</li>
--   <li><tt>e</tt> is freely duplicable, e.g. it's just a variable or a
--   numeric literal.</li>
--   <li><tt>x</tt> occurs zero or one times in <tt>e'</tt>.</li>
--   <li><tt> case e of ... prefixBranches pat -&gt; branch ... </tt> is
--   simplified to <tt>let xs = es in branch</tt> provided that <tt>e</tt>
--   matches none of <tt>prefixBranches</tt> and that it matches
--   <tt>pat</tt>.</li>
--   <li>case-of-case</li>
--   <li>{ n = e, ... }.n = e</li>
--   </ul>
simplifyExpression :: Expression v -> Expression v
instance GHC.Base.Semigroup a => GHC.Base.Semigroup (Language.Elm.Simplification.Match a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Language.Elm.Simplification.Match a)

module Language.Elm.Pretty

-- | Group the given definitions by their defining module, and generate an
--   Elm module for each group.
modules :: [Definition] -> HashMap Module (Doc ann)

-- | Generate an Elm module containing the given definitions.
module_ :: Module -> [Definition] -> Doc ann

-- | A pretty-printing environment with local variables in <tt>v</tt>.
data Environment v
Environment :: (v -> Local) -> [Local] -> Module -> Environment v
[locals] :: Environment v -> v -> Local
[freshLocals] :: Environment v -> [Local]
[currentModule] :: Environment v -> Module
emptyEnvironment :: Module -> Environment Void
extend :: Environment v -> (Environment (Var () v), Local)
local :: Local -> Doc ann
field :: Field -> Doc ann
constructor :: Constructor -> Doc ann
moduleName :: Module -> Doc ann
qualified :: Environment v -> Qualified -> Doc ann
definition :: Environment Void -> Definition -> Doc ann
expression :: Environment v -> Int -> Expression v -> Doc ann
pattern :: Environment (Var Int v) -> Int -> Pattern Int -> Doc ann
type_ :: Environment v -> Int -> Type v -> Doc ann