Mikan

Mikan-2.9.0

• Mikan
  Submodules

  •  Mikan.Benchmarking
  • Compiler
    Submodules

    •  Mikan.Compiler.Backend
      Submodules

      •  Mikan.Compiler.Backend.Base
    •  Mikan.Compiler.Builtin
    •  Mikan.Compiler.Common
  •  Mikan.ImpossibleTest
  • Interaction
    Submodules

    •  Mikan.Interaction.AgdaTop
    •  Mikan.Interaction.Base
    •  Mikan.Interaction.BasicOps
    •  Mikan.Interaction.BuildLibrary
    •  Mikan.Interaction.Command
    • Emacs
      Submodules

      •  Mikan.Interaction.Emacs.Lisp
    •  Mikan.Interaction.EmacsCommand
    •  Mikan.Interaction.EmacsTop
    •  Mikan.Interaction.Errors
    •  Mikan.Interaction.ExitCode
    •  Mikan.Interaction.FindFile
    • Highlighting
      Submodules

      •  Mikan.Interaction.Highlighting.Common
      •  Mikan.Interaction.Highlighting.Dot
        Submodules

        •  Mikan.Interaction.Highlighting.Dot.Backend
        •  Mikan.Interaction.Highlighting.Dot.Base
      •  Mikan.Interaction.Highlighting.Emacs
      •  Mikan.Interaction.Highlighting.FromAbstract
      •  Mikan.Interaction.Highlighting.Generate
      •  Mikan.Interaction.Highlighting.HTML
        Submodules

        •  Mikan.Interaction.Highlighting.HTML.Backend
        •  Mikan.Interaction.Highlighting.HTML.Base
        •  Mikan.Interaction.Highlighting.HTML.Forester
      •  Mikan.Interaction.Highlighting.JSON
      •  Mikan.Interaction.Highlighting.LaTeX
        Submodules

        •  Mikan.Interaction.Highlighting.LaTeX.Backend
        •  Mikan.Interaction.Highlighting.LaTeX.Base
      •  Mikan.Interaction.Highlighting.Precise
      •  Mikan.Interaction.Highlighting.Range
      •  Mikan.Interaction.Highlighting.Vim
    •  Mikan.Interaction.Imports
    •  Mikan.Interaction.InteractionTop
    •  Mikan.Interaction.JSON
    •  Mikan.Interaction.JSONTop
    •  Mikan.Interaction.Library
      Submodules

      •  Mikan.Interaction.Library.Base
      •  Mikan.Interaction.Library.Parse
    •  Mikan.Interaction.MakeCase
    •  Mikan.Interaction.Monad
    •  Mikan.Interaction.Options
      Submodules

      •  Mikan.Interaction.Options.Arguments
      •  Mikan.Interaction.Options.BashCompletion
      •  Mikan.Interaction.Options.Default
      •  Mikan.Interaction.Options.Errors
      •  Mikan.Interaction.Options.Help
      •  Mikan.Interaction.Options.Lenses
      •  Mikan.Interaction.Options.ProfileOptions
      •  Mikan.Interaction.Options.Warnings
    •  Mikan.Interaction.Output
    •  Mikan.Interaction.ReadFile
    •  Mikan.Interaction.Response
      Submodules

      •  Mikan.Interaction.Response.Base
    •  Mikan.Interaction.SearchAbout
  •  Mikan.Main
  • Mimer
    Submodules

    •  Mikan.Mimer.Mimer
    •  Mikan.Mimer.Monad
    •  Mikan.Mimer.Options
    •  Mikan.Mimer.Types
  •  Mikan.Setup
    Submodules

    •  Mikan.Setup.DataFiles
    •  Mikan.Setup.EmacsMode
    •  Mikan.Setup.LockFile
  • Syntax
    Submodules

    •  Mikan.Syntax.Abstract
      Submodules

      •  Mikan.Syntax.Abstract.Name
      •  Mikan.Syntax.Abstract.Pattern
      •  Mikan.Syntax.Abstract.PatternSynonyms
      •  Mikan.Syntax.Abstract.Pretty
      •  Mikan.Syntax.Abstract.UsedNames
      •  Mikan.Syntax.Abstract.Views
    •  Mikan.Syntax.Builtin
    •  Mikan.Syntax.Common
      Submodules

      •  Mikan.Syntax.Common.Aspect
      •  Mikan.Syntax.Common.KeywordRange
      •  Mikan.Syntax.Common.Pretty
        Submodules

        •  Mikan.Syntax.Common.Pretty.ANSI
    •  Mikan.Syntax.Concrete
      Submodules

      •  Mikan.Syntax.Concrete.Attribute
      •  Mikan.Syntax.Concrete.Definitions
        Submodules

        •  Mikan.Syntax.Concrete.Definitions.Errors
        •  Mikan.Syntax.Concrete.Definitions.Monad
        •  Mikan.Syntax.Concrete.Definitions.Types
      •  Mikan.Syntax.Concrete.Fixity
      •  Mikan.Syntax.Concrete.Generic
      •  Mikan.Syntax.Concrete.Glyph
      •  Mikan.Syntax.Concrete.Name
      •  Mikan.Syntax.Concrete.Operators
        Submodules

        •  Mikan.Syntax.Concrete.Operators.Parser
          Submodules

          •  Mikan.Syntax.Concrete.Operators.Parser.Monad
      •  Mikan.Syntax.Concrete.Pattern
      •  Mikan.Syntax.Concrete.Pretty
    •  Mikan.Syntax.DoNotation
    •  Mikan.Syntax.Fixity
    •  Mikan.Syntax.IdiomBrackets
    •  Mikan.Syntax.Info
    • Internal
      Submodules

      •  Mikan.Syntax.Internal.Blockers
      •  Mikan.Syntax.Internal.Clause
      •  Mikan.Syntax.Internal.Defs
      •  Mikan.Syntax.Internal.Dom
      •  Mikan.Syntax.Internal.Elim
      •  Mikan.Syntax.Internal.Generic
      •  Mikan.Syntax.Internal.MetaVars
      •  Mikan.Syntax.Internal.Names
      •  Mikan.Syntax.Internal.Pattern
      •  Mikan.Syntax.Internal.SanityCheck
      •  Mikan.Syntax.Internal.Telescope
      •  Mikan.Syntax.Internal.Term
      •  Mikan.Syntax.Internal.Univ
    •  Mikan.Syntax.Literal
    •  Mikan.Syntax.Notation
    •  Mikan.Syntax.Parser
      Submodules

      •  Mikan.Syntax.Parser.Alex
      •  Mikan.Syntax.Parser.Comments
      •  Mikan.Syntax.Parser.Helpers
      •  Mikan.Syntax.Parser.Layout
      •  Mikan.Syntax.Parser.LexActions
      •  Mikan.Syntax.Parser.Lexer
      •  Mikan.Syntax.Parser.Literate
      •  Mikan.Syntax.Parser.LookAhead
      •  Mikan.Syntax.Parser.Monad
      •  Mikan.Syntax.Parser.Parser
      •  Mikan.Syntax.Parser.StringLiterals
      •  Mikan.Syntax.Parser.Tokens
    •  Mikan.Syntax.Position
    •  Mikan.Syntax.Reflected
    • Scope
      Submodules

      •  Mikan.Syntax.Scope.Base
      •  Mikan.Syntax.Scope.Errors
      •  Mikan.Syntax.Scope.Monad
      •  Mikan.Syntax.Scope.Operator
      •  Mikan.Syntax.Scope.State
      •  Mikan.Syntax.Scope.Trimming
      •  Mikan.Syntax.Scope.UnusedImports
    •  Mikan.Syntax.TopLevelModuleName
      Submodules

      •  Mikan.Syntax.TopLevelModuleName.Boot
    • Translation
      Submodules

      •  Mikan.Syntax.Translation.AbstractToConcrete
      •  Mikan.Syntax.Translation.ConcreteToAbstract
      •  Mikan.Syntax.Translation.InternalToAbstract
      •  Mikan.Syntax.Translation.ReflectedToAbstract
  • Termination
    Submodules

    •  Mikan.Termination.CallGraph
    •  Mikan.Termination.CallMatrix
    •  Mikan.Termination.CutOff
    •  Mikan.Termination.Masking
    •  Mikan.Termination.Monad
    •  Mikan.Termination.Order
    •  Mikan.Termination.RecCheck
    •  Mikan.Termination.Semiring
    •  Mikan.Termination.SparseMatrix
    •  Mikan.Termination.TermCheck
    •  Mikan.Termination.Termination
  •  Mikan.TheTypeChecker
  • TypeChecking
    Submodules

    •  Mikan.TypeChecking.Abstract
    •  Mikan.TypeChecking.CheckInternal
    •  Mikan.TypeChecking.CompiledClause
      Submodules

      •  Mikan.TypeChecking.CompiledClause.Compile
      •  Mikan.TypeChecking.CompiledClause.Match
    •  Mikan.TypeChecking.Constraints
    •  Mikan.TypeChecking.Conversion
      Submodules

      •  Mikan.TypeChecking.Conversion.Errors
      •  Mikan.TypeChecking.Conversion.Pure
    •  Mikan.TypeChecking.Coverage
      Submodules

      •  Mikan.TypeChecking.Coverage.Cubical
      •  Mikan.TypeChecking.Coverage.Errors
      •  Mikan.TypeChecking.Coverage.Match
      •  Mikan.TypeChecking.Coverage.SplitClause
      •  Mikan.TypeChecking.Coverage.SplitPattern
      •  Mikan.TypeChecking.Coverage.SplitTree
    •  Mikan.TypeChecking.Datatypes
    •  Mikan.TypeChecking.DeadCode
    •  Mikan.TypeChecking.DiscrimTree
      Submodules

      •  Mikan.TypeChecking.DiscrimTree.Types
    •  Mikan.TypeChecking.DisplayForm
    •  Mikan.TypeChecking.DropArgs
    •  Mikan.TypeChecking.Empty
    •  Mikan.TypeChecking.Errors
      Submodules

      •  Mikan.TypeChecking.Errors.Deferred
      •  Mikan.TypeChecking.Errors.Names
    •  Mikan.TypeChecking.EtaContract
    •  Mikan.TypeChecking.Forcing
    •  Mikan.TypeChecking.Free
      Submodules

      •  Mikan.TypeChecking.Free.Base
      •  Mikan.TypeChecking.Free.Generic
      •  Mikan.TypeChecking.Free.Precompute
      •  Mikan.TypeChecking.Free.Reduce
    •  Mikan.TypeChecking.Functions
    •  Mikan.TypeChecking.Generalize
    •  Mikan.TypeChecking.IApplyConfluence
    •  Mikan.TypeChecking.Implicit
    •  Mikan.TypeChecking.Injectivity
    •  Mikan.TypeChecking.Inlining
    •  Mikan.TypeChecking.InstanceArguments
      Submodules

      •  Mikan.TypeChecking.InstanceArguments.Errors
    •  Mikan.TypeChecking.Irrelevance
    •  Mikan.TypeChecking.Level
    •  Mikan.TypeChecking.LevelConstraints
    •  Mikan.TypeChecking.MetaVars
      Submodules

      •  Mikan.TypeChecking.MetaVars.Mention
      •  Mikan.TypeChecking.MetaVars.Occurs
    •  Mikan.TypeChecking.Monad
      Submodules

      •  Mikan.TypeChecking.Monad.Base
        Submodules

        •  Mikan.TypeChecking.Monad.Base.Types
        •  Mikan.TypeChecking.Monad.Base.Warning
      •  Mikan.TypeChecking.Monad.Benchmark
      •  Mikan.TypeChecking.Monad.Builtin
      •  Mikan.TypeChecking.Monad.Caching
      •  Mikan.TypeChecking.Monad.Closure
      •  Mikan.TypeChecking.Monad.Constraints
      •  Mikan.TypeChecking.Monad.Context
      •  Mikan.TypeChecking.Monad.Debug
      •  Mikan.TypeChecking.Monad.Diagnostic
      •  Mikan.TypeChecking.Monad.Env
      •  Mikan.TypeChecking.Monad.Imports
      •  Mikan.TypeChecking.Monad.MetaVars
      •  Mikan.TypeChecking.Monad.Mutual
      •  Mikan.TypeChecking.Monad.Open
      •  Mikan.TypeChecking.Monad.Options
      •  Mikan.TypeChecking.Monad.Pure
      •  Mikan.TypeChecking.Monad.Signature
      •  Mikan.TypeChecking.Monad.State
      •  Mikan.TypeChecking.Monad.Statistics
      •  Mikan.TypeChecking.Monad.Trace
    •  Mikan.TypeChecking.Names
    •  Mikan.TypeChecking.Opacity
    • Patterns
      Submodules

      •  Mikan.TypeChecking.Patterns.Abstract
      •  Mikan.TypeChecking.Patterns.Internal
      •  Mikan.TypeChecking.Patterns.Match
    •  Mikan.TypeChecking.Polarity
    •  Mikan.TypeChecking.Positivity
      Submodules

      •  Mikan.TypeChecking.Positivity.Occurrence
      •  Mikan.TypeChecking.Positivity.OccurrenceAnalysis
      •  Mikan.TypeChecking.Positivity.Warnings
    •  Mikan.TypeChecking.Pretty
      Submodules

      •  Mikan.TypeChecking.Pretty.Call
      •  Mikan.TypeChecking.Pretty.Constraint
      •  Mikan.TypeChecking.Pretty.Warning
    •  Mikan.TypeChecking.Primitive
      Submodules

      •  Mikan.TypeChecking.Primitive.Base
      •  Mikan.TypeChecking.Primitive.Cubical
        Submodules

        •  Mikan.TypeChecking.Primitive.Cubical.Base
        •  Mikan.TypeChecking.Primitive.Cubical.Glue
        •  Mikan.TypeChecking.Primitive.Cubical.HCompU
    •  Mikan.TypeChecking.ProjectionLike
    •  Mikan.TypeChecking.Quote
    •  Mikan.TypeChecking.ReconstructParameters
    •  Mikan.TypeChecking.RecordPatterns
    •  Mikan.TypeChecking.Records
    •  Mikan.TypeChecking.Reduce
      Submodules

      •  Mikan.TypeChecking.Reduce.Fast
      •  Mikan.TypeChecking.Reduce.Monad
    • Rules
      Submodules

      •  Mikan.TypeChecking.Rules.Application
      •  Mikan.TypeChecking.Rules.Builtin
      •  Mikan.TypeChecking.Rules.Cubical
      •  Mikan.TypeChecking.Rules.Data
      •  Mikan.TypeChecking.Rules.Decl
      •  Mikan.TypeChecking.Rules.Def
      •  Mikan.TypeChecking.Rules.Display
      •  Mikan.TypeChecking.Rules.LHS
        Submodules

        •  Mikan.TypeChecking.Rules.LHS.Implicit
        •  Mikan.TypeChecking.Rules.LHS.Problem
        •  Mikan.TypeChecking.Rules.LHS.ProblemRest
        •  Mikan.TypeChecking.Rules.LHS.Unify
          Submodules

          •  Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse
          •  Mikan.TypeChecking.Rules.LHS.Unify.Types
      •  Mikan.TypeChecking.Rules.Record
        Submodules

        •  Mikan.TypeChecking.Rules.Record.Cubical
      •  Mikan.TypeChecking.Rules.Term
      •  Mikan.TypeChecking.Rules.WithApp
    •  Mikan.TypeChecking.Serialise
      Submodules

      •  Mikan.TypeChecking.Serialise.Base
      •  Mikan.TypeChecking.Serialise.Instances
        Submodules

        •  Mikan.TypeChecking.Serialise.Instances.Abstract
        •  Mikan.TypeChecking.Serialise.Instances.Common
        •  Mikan.TypeChecking.Serialise.Instances.Compilers
        •  Mikan.TypeChecking.Serialise.Instances.Errors
        •  Mikan.TypeChecking.Serialise.Instances.General
        •  Mikan.TypeChecking.Serialise.Instances.Highlighting
        •  Mikan.TypeChecking.Serialise.Instances.Internal
      •  Mikan.TypeChecking.Serialise.Node
    •  Mikan.TypeChecking.Sort
    •  Mikan.TypeChecking.Substitute
      Submodules

      •  Mikan.TypeChecking.Substitute.Class
      •  Mikan.TypeChecking.Substitute.DeBruijn
    •  Mikan.TypeChecking.SyntacticEquality
    •  Mikan.TypeChecking.Telescope
      Submodules

      •  Mikan.TypeChecking.Telescope.Path
    •  Mikan.TypeChecking.Unquote
      Submodules

      •  Mikan.TypeChecking.Unquote.Errors
    •  Mikan.TypeChecking.Warnings
    •  Mikan.TypeChecking.With
  • Utils
    Submodules

    •  Mikan.Utils.AffineHole
    •  Mikan.Utils.Applicative
    •  Mikan.Utils.AssocList
    •  Mikan.Utils.Atomic
    •  Mikan.Utils.Benchmark
    •  Mikan.Utils.BiMap
    •  Mikan.Utils.BoolSet
    •  Mikan.Utils.Boolean
    •  Mikan.Utils.ByteArray
    •  Mikan.Utils.CallStack
    •  Mikan.Utils.Char
    •  Mikan.Utils.CompactRegion
    •  Mikan.Utils.CompressedTrie
    •  Mikan.Utils.DocTree
    •  Mikan.Utils.Either
    •  Mikan.Utils.Empty
    •  Mikan.Utils.Environment
    •  Mikan.Utils.ExpandCase
    •  Mikan.Utils.Favorites
    •  Mikan.Utils.FileId
    •  Mikan.Utils.FileName
    •  Mikan.Utils.Float
    •  Mikan.Utils.Function
    •  Mikan.Utils.Functor
    •  Mikan.Utils.GetOpt
    • Graph
      Submodules

      • AdjacencyMap
        Submodules

        •  Mikan.Utils.Graph.AdjacencyMap.Unidirectional
      •  Mikan.Utils.Graph.TopSort
    •  Mikan.Utils.Hash
    • HashSet
      Submodules

      •  Mikan.Utils.HashSet.Ordered
    •  Mikan.Utils.HashTable
    • IO
      Submodules

      •  Mikan.Utils.IO.Directory
      •  Mikan.Utils.IO.TempFile
      •  Mikan.Utils.IO.Terminal
      •  Mikan.Utils.IO.UTF8
    • IORef
      Submodules

      •  Mikan.Utils.IORef.Strict
    •  Mikan.Utils.Impossible
    •  Mikan.Utils.IndexedList
    •  Mikan.Utils.IntVar
    •  Mikan.Utils.Lens
    •  Mikan.Utils.List
    •  Mikan.Utils.List1
    •  Mikan.Utils.List2
    •  Mikan.Utils.ListInf
    •  Mikan.Utils.ListT
    •  Mikan.Utils.Map
    •  Mikan.Utils.Map1
    •  Mikan.Utils.Maybe
      Submodules

      •  Mikan.Utils.Maybe.Strict
      •  Mikan.Utils.Maybe.Unboxable
    •  Mikan.Utils.Memo
    • MinimalArray
      Submodules

      •  Mikan.Utils.MinimalArray.Lifted
      •  Mikan.Utils.MinimalArray.MutableLifted
      •  Mikan.Utils.MinimalArray.MutablePrim
      •  Mikan.Utils.MinimalArray.Prim
    •  Mikan.Utils.Monad
    •  Mikan.Utils.Monoid
    •  Mikan.Utils.Null
    •  Mikan.Utils.POMonoid
    • Parser
      Submodules

      •  Mikan.Utils.Parser.MemoisedCPS
    •  Mikan.Utils.PartialOrd
    •  Mikan.Utils.Permutation
    •  Mikan.Utils.Range
    •  Mikan.Utils.RangeMap
    •  Mikan.Utils.SemiRing
    •  Mikan.Utils.Semigroup
    •  Mikan.Utils.Serialize
    •  Mikan.Utils.Set
    •  Mikan.Utils.Set1
    •  Mikan.Utils.ShortText
    •  Mikan.Utils.Singleton
    •  Mikan.Utils.Size
    •  Mikan.Utils.SmallSet
    •  Mikan.Utils.StrictEndo
    •  Mikan.Utils.StrictFlipEndo
    •  Mikan.Utils.StrictReader
    •  Mikan.Utils.StrictState
    •  Mikan.Utils.StrictState2
    •  Mikan.Utils.StrictWriter
    •  Mikan.Utils.String
    •  Mikan.Utils.Suffix
    •  Mikan.Utils.Text
    •  Mikan.Utils.Three
    •  Mikan.Utils.Time
    •  Mikan.Utils.Trace
    •  Mikan.Utils.Trie
    •  Mikan.Utils.Tuple
      Submodules

      •  Mikan.Utils.Tuple.Strict
    •  Mikan.Utils.TypeLevel
    •  Mikan.Utils.TypeLits
    •  Mikan.Utils.Unsafe
    •  Mikan.Utils.Update
    •  Mikan.Utils.VarSet
    •  Mikan.Utils.WithDefault
    •  Mikan.Utils.Word
    •  Mikan.Utils.Zip
    •  Mikan.Utils.Zipper
  •  Mikan.Version
  •  Mikan.VersionCommit