Documentation

d_just'45'injective_22 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_'8801''45'dec_24 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> T_Dec_32) -> Maybe AgdaAny -> Maybe AgdaAny -> T_Dec_32 Source #

du_'8801''45'dec_24 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> Maybe AgdaAny -> Maybe AgdaAny -> T_Dec_32 Source #

d_map'45'id_42 :: T_Level_14 -> () -> Maybe AgdaAny -> T__'8801'__12 Source #

d_map'45'id'8322'_52 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T_All_18 -> T__'8801'__12 Source #

d_map'45''60''8739''62''45'commute_62 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny -> T__'8801'__12 Source #

d_map'45'cong_78 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> Maybe AgdaAny -> T__'8801'__12 Source #

d_map'45'cong'8322'_94 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T_All_18 -> T__'8801'__12 Source #

d_map'45'injective_100 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12) -> Maybe AgdaAny -> Maybe AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_map'45'compose_118 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T__'8801'__12 Source #

d_map'45'nothing_126 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_map'45'just_134 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_maybe'45'map_148 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> (Maybe AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T__'8801'__12 Source #

d_maybe'8242''45'map_172 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> T__'8801'__12 Source #

d_Associative_202 :: T_Level_14 -> () -> (Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny) -> () Source #

d_Identity_218 :: T_Level_14 -> () -> Maybe AgdaAny -> (Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny) -> () Source #

d_LeftIdentity_238 :: T_Level_14 -> () -> Maybe AgdaAny -> (Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny) -> () Source #

d_RightIdentity_256 :: T_Level_14 -> () -> Maybe AgdaAny -> (Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny) -> () Source #

d_'60''8739''62''45'assoc_266 :: T_Level_14 -> () -> Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny -> T__'8801'__12 Source #

d_'60''8739''62''45'identity'737'_278 :: T_Level_14 -> () -> Maybe AgdaAny -> T__'8801'__12 Source #

d_'60''8739''62''45'identity'691'_282 :: T_Level_14 -> () -> Maybe AgdaAny -> T__'8801'__12 Source #

d_'60''8739''62''45'identity_286 :: T_Level_14 -> () -> T_Σ_14 Source #

du_'60''8739''62''45'identity_286 :: T_Σ_14 Source #

d_IsMagma_326 :: p1 -> p2 -> p3 -> () Source #

d_IsMonoid_328 :: p1 -> p2 -> p3 -> p4 -> () Source #

d_IsSemigroup_340 :: p1 -> p2 -> p3 -> () Source #

d_'60''8739''62''45'isMagma_1772 :: T_Level_14 -> () -> T_IsMagma_98 Source #

du_'60''8739''62''45'isMagma_1772 :: T_IsMagma_98 Source #

d_'60''8739''62''45'isSemigroup_1774 :: T_Level_14 -> () -> T_IsSemigroup_206 Source #

du_'60''8739''62''45'isSemigroup_1774 :: T_IsSemigroup_206 Source #

d_'60''8739''62''45'isMonoid_1776 :: T_Level_14 -> () -> T_IsMonoid_370 Source #

du_'60''8739''62''45'isMonoid_1776 :: T_IsMonoid_370 Source #

d_'60''8739''62''45'semigroup_1778 :: T_Level_14 -> () -> T_Semigroup_206 Source #

du_'60''8739''62''45'semigroup_1778 :: T_Semigroup_206 Source #

d_'60''8739''62''45'monoid_1780 :: T_Level_14 -> () -> T_Monoid_502 Source #

du_'60''8739''62''45'monoid_1780 :: T_Monoid_502 Source #