==================== FINAL INTERFACE ====================
2019-09-22 14:52:20.632339 UTC

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Utils.Progress 8065
  interface hash: b693c37c7e83b967f60fe450a4b3310c
  ABI hash: 826d6a56464397a59b3a0f2598d33de7
  export-list hash: 6850e83719e0c11e0074fbcdfbd4871d
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 4bb59a543269398995ccceb30d7824e5
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Utils.Progress.progressClose
  Language.Fixpoint.Utils.Progress.progressInit
  Language.Fixpoint.Utils.Progress.progressTick
  Language.Fixpoint.Utils.Progress.withProgress
module dependencies:
package dependencies: ansi-terminal-0.8.2 array-0.5.3.0
                      ascii-progress-0.3.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0
                      bytestring-0.10.8.2 cmdargs-0.10.20 colour-2.3.5
                      concurrent-output-1.10.9 containers-0.6.0.1 data-default-0.7.1.1
                      data-default-class-0.1.2.0 data-default-instances-containers-0.0.1
                      data-default-instances-dlist-0.0.1
                      data-default-instances-old-locale-0.0.1 deepseq-1.4.4.0
                      directory-1.3.3.0 dlist-0.8.0.6 exceptions-0.10.2 filepath-1.4.2.1
                      ghc-boot-th-8.6.5 ghc-prim-0.5.3 hashable-1.2.7.0
                      integer-gmp-1.0.2.0 mtl-2.2.2 old-locale-1.0.0.7 process-1.6.5.0
                      stm-2.5.0.0 template-haskell-2.14.0.0 terminal-size-0.3.2.1
                      text-1.2.3.1 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2
orphans: data-default-instances-containers-0.0.1:Data.Default.Instances.Containers
         data-default-instances-dlist-0.0.1:Data.Default.Instances.DList
         data-default-instances-old-locale-0.0.1:Data.Default.Instances.OldLocale
         colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse
         time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime
         time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime
         time-1.8.0.2:Data.Time.Calendar.Gregorian
         hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy
         text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic
         bytestring-0.10.8.2:Data.ByteString.Builder
         text-1.2.3.1:Data.Text.Show stm-2.5.0.0:Control.Monad.STM
         transformers-0.5.6.2:Control.Monad.Trans.Error
         base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base
family instance modules: base-4.12.0.0:Control.Applicative
                         base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose
                         base-4.12.0.0:Data.Functor.Const
                         base-4.12.0.0:Data.Functor.Identity
                         base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum
                         base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup
                         base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version
                         base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts
                         base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception
                         containers-0.6.0.1:Data.IntMap.Internal
                         containers-0.6.0.1:Data.IntSet.Internal
                         containers-0.6.0.1:Data.Map.Internal
                         containers-0.6.0.1:Data.Sequence.Internal
                         containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree
                         dlist-0.8.0.6:Data.DList ghc-boot-th-8.6.5:GHC.ForeignSrcLang.Type
                         ghc-boot-th-8.6.5:GHC.LanguageExtensions.Type
                         template-haskell-2.14.0.0:Language.Haskell.TH.Syntax
                         terminal-size-0.3.2.1:System.Console.Terminal.Common
                         text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy
import  -/  ascii-progress-0.3.3.0:System.Console.AsciiProgress 4260cc834d32acce95853feeeed020b6
import  -/  ascii-progress-0.3.3.0:System.Console.AsciiProgress.Internal 91a06654f46756516b59d9d7491ca3d5
import  -/  base-4.12.0.0:Control.Monad 07eaec7fd256019b318d048d00f45b1c
import  -/  base-4.12.0.0:Data.IORef e8e1ce7d64831ebb3853a1cd9fb4e228
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.IO.Unsafe f9f58d6cf129f44ee29b8f10a48eb26c
import  -/  base-4.12.0.0:GHC.IORef c4811a8ca9fa1f2f983a2e196af9a59c
import  -/  base-4.12.0.0:GHC.Real af2b985dd29515c375fb78b2c9298d42
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  base-4.12.0.0:System.IO.Unsafe e8c0e3a0a9cf9814796832fe86e2e8a6
import  -/  cmdargs-0.10.20:System.Console.CmdArgs.Verbosity fa5402dbe76d4158a9bd93730fac6d67
import  -/  concurrent-output-1.10.9:System.Console.Regions 0aa8a468c18f7c4092b02b3221f24296
import  -/  data-default-class-0.1.2.0:Data.Default.Class 371bcf6e798e02ee6b54bbb6964034d0
import  -/  ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import  -/  ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b
55801f2988e801a21e823410f442e0b2
  $trModule :: GHC.Types.Module
ec8ad95e48762209d846c439d2ce6615
  progressClose :: GHC.Types.IO ()
1d6ca9a4d95c3679b12d27674572203c
  progressInit :: GHC.Types.Int -> GHC.Types.IO ()
0ccb985e47cb835d2bf679c5ff93fb6b
  progressTick :: GHC.Types.IO ()
8d2751f40705437b1b2bb822db3b7ec9
  withProgress :: GHC.Types.Int -> GHC.Types.IO a -> GHC.Types.IO a
trusted: none
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: