plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial

Documentation

d_A'7522'_24 :: T_Level_18 -> () -> T_Level_18 -> () -> AgdaAny -> () #

d_isIndexedEquivalence_32 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_IsIndexedEquivalence_22 #

du_isIndexedEquivalence_32 :: T_IsEquivalence_26 -> T_IsIndexedEquivalence_22 #

d_isIndexedPreorder_60 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> T_IsIndexedPreorder_44 #

du_isIndexedPreorder_60 :: T_IsPreorder_70 -> T_IsIndexedPreorder_44 #

d_indexedSetoid_106 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_IndexedSetoid_18 #

du_indexedSetoid_106 :: T_Setoid_44 -> T_IndexedSetoid_18 #

d_indexedPreorder_142 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Preorder_132 -> T_IndexedPreorder_60 #

du_indexedPreorder_142 :: T_Preorder_132 -> T_IndexedPreorder_60 #