Safe Haskell	None

MAlonzo.Code.Data.These.Base

Documentation

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

data T_These_38 Source #

Constructors

C_this_48 AgdaAny
C_that_50 AgdaAny
C_these_52 AgdaAny AgdaAny

d_fromSum_54 :: T_Level_14 -> () -> T_Level_14 -> () -> T__'8846'__30 -> T_These_38 Source #

du_fromSum_54 :: T__'8846'__30 -> T_These_38 Source #

d_map_60 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

du_map_60 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

d_map'8321'_84 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

du_map'8321'_84 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

d_map'8322'_90 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

du_map'8322'_90 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 Source #

d_fold_92 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny Source #

du_fold_92 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny Source #

d_foldWithDefaults_120 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny Source #

du_foldWithDefaults_120 :: AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny Source #

d_swap_128 :: T_Level_14 -> () -> T_Level_14 -> () -> T_These_38 -> T_These_38 Source #

du_swap_128 :: T_These_38 -> T_These_38 Source #

d_alignWith_130 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38 Source #

du_alignWith_130 :: (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38 Source #

d_align_216 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_These_38 -> T_These_38 -> T_These_38 Source #

du_align_216 :: T_These_38 -> T_These_38 -> T_These_38 Source #