The function makeStrict makes every function argument, case and generator pattern, and LocalBind binding strict (except for those patterns that are marked as irrefutable, and anything in a FakeDecl or FakeExp). Note that only the outermost patterns are made strict.
Methods
makeStrict :: a -> a
Instances12MakeStrict, …
MakeStrict AltDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict BindsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict DeclDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict ExpDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict GuardedRhsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict MatchDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict PatDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict RhsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict StmtDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict a => MakeStrict (Maybe a)Defined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.StrictMakeStrict a => MakeStrict [a]Defined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict