# filelist

dirname: /usr/share/idris-1.3.1/docs/pruviloj/docs
filetypes: ffffffffffffffffffffffff
filenames:
  Decidable.Equality.html/FFI.html/FFI_C.html/ForeignEnv.html/Language.Reflection.Elab.html/Language.Reflection.Errors.html/Language.Reflection.html/Prelude.Algebra.html/Prelude.Applicative.html/Prelude.Basics.html/Prelude.Bool.html/Prelude.Either.html/Prelude.File.html/Prelude.Foldable.html/Prelude.Functor.html/Prelude.Interfaces.html/Prelude.List.html/Prelude.Maybe.html/Prelude.Nat.html/Prelude.Show.html/Prelude.Stream.html/Pruviloj.Derive.DecEq.html/Pruviloj.Internals.TyConInfo.html/[builtins].html


dirname: /usr/share/idris-1.3.1/docs/contrib/docs
filenames:
  Builtins.html/CFFI.Memory.html/CFFI.Types.html/Control.Algebra.Lattice.html/Control.Algebra.NumericImplementations.html/Control.Algebra.VectorSpace.html/Control.Algebra.html/Control.Delayed.html/Control.IOExcept.html/Control.Isomorphism.Extra.html/Control.Isomorphism.Fin.html/Control.Isomorphism.Iso.html/Control.Isomorphism.Primitives.html/Control.Isomorphism.Vect.html/Control.Isomorphism.html/Control.Monad.Syntax.html/Control.Partial.html/Control.Pipeline.html/Control.ST.Env.html/Control.ST.Exception.html/Control.ST.File.html/Control.ST.ImplicitCall.html/Control.ST.Loop.html/Control.ST.Random.html/Control.ST.Resources.html/Control.ST.Stable.html/Control.ST.VarList.html/Control.ST.html/Data.Bool.Extra.html/Data.BoundedList.html/Data.Chain.html/Data.CoList.html/Data.Combinators.Applicative.html/Data.Combinators.html/Data.Fin.Extra.html/Data.Fin.html/Data.Fuel.html/Data.Fun.html/Data.Hash.html/Data.IOArray.html/Data.List.Extra.html/Data.List.Zipper.html/Data.Matrix.Algebraic.html/Data.Matrix.Numeric.html/Data.Matrix.html/Data.Morphisms.html/Data.Nat.DivMod.IteratedSubtraction.html/Data.Nat.DivMod.html/Data.Nat.Parity.html/Data.Pairs.Implicit.html/Data.PosNat.html/Data.Rel.html/Data.SortedBag.html/Data.SortedSet.html/Data.Storable.html/Data.Stream.Extra.html/Data.String.Extra.html/Data.Vect.html/Decidable.Decidable.html/Decidable.Equality.html/Decidable.Order.html/FFI.html/FFI_C.html/ForeignEnv.html/Interfaces.Correlative.html/Language.JSON.Data.html/Language.JSON.html/Language.Reflection.Elab.html/Language.Reflection.Errors.html/Language.Reflection.html/Network.Cgi.html/Network.Socket.Data.html/Network.Socket.html/Prelude.Algebra.html/Prelude.Applicative.html/Prelude.Basics.html/Prelude.Bool.html/Prelude.Either.html/Prelude.File.html/Prelude.Foldable.html/Prelude.Functor.html/Prelude.Interfaces.html/Prelude.List.html/Prelude.Maybe.html/Prelude.Monad.html/Prelude.Nat.html/Prelude.Pairs.Exists.html/Prelude.Pairs.html/Prelude.Show.html/Prelude.Stream.html/Prelude.Traversable.html/Prelude.WellFounded.html/Prelude.html/System.Concurrency.Process.html/Test.Unit.Assertions.html/Test.Unit.Display.html/Test.Unit.Generic.html/Text.Lexer.Core.html/Text.Literate.html/Text.Quantity.html/Text.Token.html/[builtins].html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/idris-1.3.1/libs/base/Data
filetypes: fffffffdfffddfdfdf
filenames:
  Bits.ibc/Buffer.ibc/Complex.ibc/Erased.ibc/Fin.ibc/HVect.ibc/IORef.ibc/List/List.ibc/Mod2.ibc/Morphisms.ibc/Nat/Primitives/So.ibc/String/String.ibc/Vect/Vect.ibc


dirname: /usr/share/idris-1.3.1/docs/effects/docs
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Control.IOExcept.html/Data.List.html/Data.So.html/Decidable.Equality.html/Effect.Exception.html/Effect.File.FileResult.html/Effect.File.html/Effect.Logging.Category.LogRes.html/Effect.Logging.Category.html/Effect.Logging.Default.LogRes.html/Effect.Logging.Default.html/Effect.Logging.Level.html/Effect.Memory.html/Effect.Monad.html/Effect.Perf.html/Effect.Random.html/Effect.Select.html/Effect.State.html/Effect.StdIO.html/Effect.System.html/Effect.Trans.html/Effects.DepEff.html/Effects.DepUpdateEffect.html/Effects.Env.html/Effects.NoResourceEffect.html/Effects.NoUpdateEffect.html/Effects.SimpleEff.html/Effects.TransEff.html/Effects.UpdateEffect.html/Effects.html/FFI.html/FFI_C.html/ForeignEnv.html/Language.Reflection.Elab.html/Language.Reflection.Errors.html/Language.Reflection.html/Prelude.Algebra.html/Prelude.Applicative.html/Prelude.Basics.html/Prelude.Bool.html/Prelude.Either.html/Prelude.File.html/Prelude.Foldable.html/Prelude.Functor.html/Prelude.Interfaces.html/Prelude.List.html/Prelude.Maybe.html/Prelude.Nat.html/Prelude.Show.html/Prelude.Stream.html/[builtins].html


dirname: /usr/share/idris-1.3.1/libs/prelude/Prelude
filetypes: ffffffffffffffffffffffffff
filenames:
  Algebra.ibc/Applicative.ibc/Basics.ibc/Bits.ibc/Bool.ibc/Cast.ibc/Chars.ibc/Doubles.ibc/Either.ibc/File.ibc/Foldable.ibc/Functor.ibc/Interactive.ibc/Interfaces.ibc/List.ibc/Maybe.ibc/Monad.ibc/Nat.ibc/Pairs.ibc/Providers.ibc/Show.ibc/Stream.ibc/Strings.ibc/Traversable.ibc/Uninhabited.ibc/WellFounded.ibc


dirname: /usr/share/idris-1.3.1/docs/base/docs
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Control.Arrow.html/Control.Catchable.html/Control.IOExcept.html/Control.Isomorphism.Iso.html/Control.Isomorphism.html/Control.Monad.Identity.html/Control.Monad.RWS.html/Control.Monad.Reader.html/Control.Monad.State.html/Control.Monad.Writer.html/Data.Bits.html/Data.Buffer.html/Data.Complex.html/Data.Erased.html/Data.Fin.html/Data.HVect.html/Data.IORef.html/Data.List.Quantifiers.html/Data.List.Views.html/Data.List.html/Data.Mod2.html/Data.Morphisms.html/Data.String.Views.html/Data.String.html/Data.Vect.Quantifiers.html/Data.Vect.Views.html/Data.Vect.html/Debug.Error.html/Debug.Trace.html/Decidable.Equality.html/FFI.html/FFI_C.html/ForeignEnv.html/Language.Reflection.Elab.html/Language.Reflection.Errors.html/Language.Reflection.Utils.html/Language.Reflection.html/Prelude.Algebra.html/Prelude.Applicative.html/Prelude.Basics.html/Prelude.Bool.html/Prelude.Either.html/Prelude.File.html/Prelude.Foldable.html/Prelude.Functor.html/Prelude.Interfaces.html/Prelude.List.html/Prelude.Maybe.html/Prelude.Nat.html/Prelude.Show.html/Prelude.Stream.html/Prelude.Strings.html/Prelude.Traversable.html/Prelude.WellFounded.html/System.Concurrency.Channels.html/System.Info.html/[builtins].html


dirname: /usr/share/idris-1.3.1/libs/contrib/Data
filetypes: dfffdfdfffffddfdfdfffffffddf
filenames:
  Bool/BoundedList.ibc/Chain.ibc/CoList.ibc/Combinators/Combinators.ibc/Fin/Fuel.ibc/Fun.ibc/Hash.ibc/Heap.ibc/IOArray.ibc/List/Matrix/Matrix.ibc/Nat/Nat.ibc/Pairs/PosNat.ibc/Rel.ibc/Sign.ibc/SortedBag.ibc/SortedMap.ibc/SortedSet.ibc/Storable.ibc/Stream/String/ZZ.ibc


dirname: /usr/share/idris-1.3.1/libs/effects/Effect
filetypes: fffdfffffffff
filenames:
  Default.ibc/Exception.ibc/File.ibc/Logging/Memory.ibc/Monad.ibc/Perf.ibc/Random.ibc/Select.ibc/State.ibc/StdIO.ibc/System.ibc/Trans.ibc


dirname: /usr/share/idris-1.3.1/docs/prelude/docs
filetypes: fffffffffffffffffffffffffffffffffffff
filenames:
  Builtins.html/Decidable.Equality.html/FFI.html/FFI_C.html/ForeignEnv.html/IO.html/Language.Reflection.Elab.html/Language.Reflection.Errors.html/Language.Reflection.html/Prelude.Algebra.html/Prelude.Applicative.html/Prelude.Basics.html/Prelude.Bits.html/Prelude.Bool.html/Prelude.Cast.html/Prelude.Chars.html/Prelude.Doubles.html/Prelude.Either.html/Prelude.File.html/Prelude.Foldable.html/Prelude.Functor.html/Prelude.Interactive.html/Prelude.Interfaces.html/Prelude.List.html/Prelude.Maybe.html/Prelude.Monad.html/Prelude.Nat.html/Prelude.Pairs.html/Prelude.Providers.html/Prelude.Show.html/Prelude.Stream.html/Prelude.Strings.html/Prelude.Traversable.html/Prelude.Uninhabited.html/Prelude.WellFounded.html/Prelude.html/[builtins].html


dirname: /usr/share/idris-1.3.1/rts
filetypes: dffffffffffffffffffffffffff
filenames:
  arduino/getline.h/idris_bitstring.c/idris_bitstring.h/idris_buffer.h/idris_gc.c/idris_gc.h/idris_gmp.c/idris_gmp.h/idris_heap.c/idris_heap.h/idris_main.c/idris_net.c/idris_net.h/idris_opts.c/idris_opts.h/idris_rts.c/idris_rts.h/idris_stats.c/idris_stats.h/idris_stdfgn.c/idris_stdfgn.h/idris_utf8.h/libidris_rts.a/libtest.c/mini-gmp.c/mini-gmp.h


