| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Tree.AVL.Value
Documentation
d_Value_38 :: p -> p -> p -> p -> () #
newtype T_Value_38 #
d_family_46 :: T_Value_38 -> AgdaAny -> () #
d_respects_48 :: T_Value_38 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_K'38'__56 :: p -> p -> p -> p -> p -> () #
data T_K'38'__56 #
Constructors
| C__'44'__70 AgdaAny AgdaAny |
d_key_66 :: T_K'38'__56 -> AgdaAny #
d_value_68 :: T_K'38'__56 -> AgdaAny #
d_toPair_80 :: T_K'38'__56 -> T_Σ_14 #
d_fromPair_86 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Level_18 -> T_Value_38 -> T_Σ_14 -> T_K'38'__56 #
du_fromPair_86 :: T_Σ_14 -> T_K'38'__56 #
d_const_94 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Level_18 -> () -> T_Value_38 #