Documentation

d_Sum'8343'_14 :: T_Level_18 -> () -> T_Level_18 -> () -> () #

d_functor_18 :: T_Level_18 -> () -> T_Level_18 -> T_RawFunctor_24 #

du_functor_18 :: T_RawFunctor_24 #

d_applicative_20 :: T_Level_18 -> () -> T_Level_18 -> T_RawApplicative_20 #

du_applicative_20 :: T_RawApplicative_20 #

d_empty_22 :: T_Level_18 -> () -> T_Level_18 -> AgdaAny -> T_RawEmpty_16 #

du_empty_22 :: AgdaAny -> T_RawEmpty_16 #

d_choice_26 :: T_Level_18 -> () -> T_Level_18 -> T_RawChoice_16 #

du_choice_26 :: T_RawChoice_16 #

d_applicativeZero_28 :: T_Level_18 -> () -> T_Level_18 -> AgdaAny -> T_RawApplicativeZero_120 #

du_applicativeZero_28 :: AgdaAny -> T_RawApplicativeZero_120 #

d_alternative_32 :: T_Level_18 -> () -> T_Level_18 -> AgdaAny -> T_RawAlternative_180 #

du_alternative_32 :: AgdaAny -> T_RawAlternative_180 #

d_monad_36 :: T_Level_18 -> () -> T_Level_18 -> T_RawMonad_24 #

du_monad_36 :: T_RawMonad_24 #

d_join_40 :: T_Level_18 -> () -> T_Level_18 -> () -> T__'8846'__30 -> T__'8846'__30 #

du_join_40 :: T__'8846'__30 -> T__'8846'__30 #

d_sequenceA_84 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> T__'8846'__30 -> AgdaAny #

du_sequenceA_84 :: T_RawApplicative_20 -> T__'8846'__30 -> AgdaAny #

d_mapA_94 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #

du_mapA_94 :: T_RawApplicative_20 -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #

d_forA_102 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny #

du_forA_102 :: T_RawApplicative_20 -> T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_forA_164 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny #

du_forA_164 :: T_RawMonad_24 -> () -> () -> T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_mapA_166 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #

du_mapA_166 :: T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #

d_sequenceA_168 :: T_Level_18 -> () -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> T__'8846'__30 -> AgdaAny #

du_sequenceA_168 :: T_RawMonad_24 -> () -> T__'8846'__30 -> AgdaAny #