Contents Index

Modules

Core Core.Bits Class Core.Class.Instance Core.Curry Effect Core.Effect.Expand Core.Effect.MaskLocal Core.Effect.Scrub Core.Exp Core.FreezeStatic Core.Lift Core.Lift.AddFree Core.Lift.Base Core.Lift.BindTypes Core.Lift.LiftP Core.Lift.Patch Optimise Core.Optimise.FullLaziness Core.Plate Core.Plate.FreeVars Core.Plate.Trans Core.Plate.TransStmts Core.Pretty Core.SnipDown Core.ToSea Core.Unify Core.Util Evil Evil.Chain Main Main.Arg Main.Compile Main.Path Main.Version Module Module.Export Module.IO Module.Interface Module.Main Module.Module Module.Pretty Sea Sea.Ctor Sea.Exp Sea.Force Sea.Match Plate Sea.Plate.Trans Sea.Plate.TransStmts Sea.Pretty Sea.Proto Sea.Return Sea.Slot Sea.Sub Sea.Thunk Sea.Util Shared Shared.Base Shared.Bits Shared.DataUnify Shared.Error Shared.Exp Shared.Literal Shared.Pretty Shared.Prim Shared.Unique Shared.Vanilla Shared.Var Shared.VarGen Shared.VarUtil Source Source.Alias Source.Defix Source.DefixApps Source.Error Source.Exp Source.FreeVarsE Source.Hacks Source.Lint Source.Parser Plate Source.Plate.Trans Source.Pretty Source.Rename Source.RenameM Source.Separate Source.Seq Source.Slurp Source.ToCore Source.ToCore.Base Source.ToCore.Lambda Source.Token Source.TokenShow Type Source.Type.Slurp Source.Type.SlurpS Source.Type.Util Source.Util Stages Stages.Core Stages.Dump Stages.IO Stages.Sea Stages.Source Type Type.Bits Type.CheckSig Constraint Type.Constraint.Bits Type.Constraint.CallGraph Type.Constraint.Post Type.Constraint.Post.BranchInst Type.Constraint.Post.ChainApps Type.Constraint.Post.Degen Type.Constraint.Post.InfoLambda Type.Constraint.Post.Sequence Type.Constraint.Pretty Type.Constraint.State Type.Constraint.Tree Type.Constraint.Util Type.CoreVars Effect Type.Effect.Bits Type.Effect.MaskFresh Type.Effect.MaskLocal Type.Effect.MaskPure Type.Elaborate Type.Error Type.Exp Type.Generalise Type.Instantiate Type.Kind Type.Label Type.Normalise Type.Pack Type.Plate Type.Plate.Collect Type.Plate.FreeVars Type.Plate.Trans Type.Plate.TransVar Type.Plate.Update Type.Pretty Squid Type.Squid.Base Type.Squid.Bits Type.Squid.CheckConst Type.Squid.CheckPure Type.Squid.Class Type.Squid.CrushProj Type.Squid.Dump Type.Squid.Export Type.Squid.Feed Type.Squid.FeedS Type.Squid.Horror Type.Squid.Mash Type.Squid.Plug Type.Squid.Region Type.Squid.Rewrite Type.Squid.Scheme Type.Squid.School Type.Squid.Sink Type.Squid.SinkE Type.Squid.SinkR Type.Squid.Solve Type.Squid.State Type.Squid.Synth Type.Squid.TraceEffects Type.Squid.TraceFetters Type.Squid.Unify Type.Squid.Update Type.Summarise Type.ToCore Util Util.Either Util.Generics Util.List Util.Map Util.Math Util.Maybe Util.Misc Util.Monad Util.Options Util.Pretty Util.Pretty.Comb Util.Pretty.Misc Util.PrettyPrint Terminal Util.Terminal.VT100 Util.Tuple

Produced by Haddock version 0.7