| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Reflection.AST.Literal
Documentation
d_meta'45'injective_10 :: AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 #
d_nat'45'injective_16 :: Integer -> Integer -> T__'8801'__12 -> T__'8801'__12 #
d_word64'45'injective_22 :: Word64 -> Word64 -> T__'8801'__12 -> T__'8801'__12 #
d_float'45'injective_28 :: T_Float_6 -> T_Float_6 -> T__'8801'__12 -> T__'8801'__12 #
d_char'45'injective_34 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 #
d_name'45'injective_46 :: AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 #
d__'8799'__48 :: T_Literal_124 -> T_Literal_124 -> T_Dec_20 #
d__'8801''7495'__246 :: T_Literal_124 -> T_Literal_124 -> Bool #