| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Function.Strict
Documentation
d__'36''33'__20 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'33''124''62'__34 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_seq_36 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny Source #
d_seq'45''8801'_48 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → T__'8801'__12 Source #
d_force'8242'_56 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
du_force'8242'_56 ∷ T_Level_18 → T_Level_18 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_force'8242''45''8801'_62 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny) → T__'8801'__12 Source #
d__'36''33''8242'__64 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'33''124''62''8242'__66 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #