Documentation

d_functor_22 :: T_Level_18 -> T_RawFunctor_24 #

du_functor_22 :: T_RawFunctor_24 #

d_applicative_24 :: T_Level_18 -> T_RawApplicative_20 #

du_applicative_24 :: T_RawApplicative_20 #

d_empty_26 :: T_Level_18 -> T_RawEmpty_16 #

du_empty_26 :: T_RawEmpty_16 #

d_choice_28 :: T_Level_18 -> T_RawChoice_16 #

du_choice_28 :: T_RawChoice_16 #

d_applicativeZero_30 :: T_Level_18 -> T_RawApplicativeZero_120 #

du_applicativeZero_30 :: T_RawApplicativeZero_120 #

d_alternative_32 :: T_Level_18 -> T_RawAlternative_180 #

du_alternative_32 :: T_RawAlternative_180 #

d_monad_34 :: T_Level_18 -> T_RawMonad_24 #

du_monad_34 :: T_RawMonad_24 #

d_join_36 :: T_Level_18 -> () -> Maybe (Maybe AgdaAny) -> Maybe AgdaAny #

du_join_36 :: Maybe (Maybe AgdaAny) -> Maybe AgdaAny #

d_monadZero_38 :: T_Level_18 -> T_RawMonadZero_206 #

du_monadZero_38 :: T_RawMonadZero_206 #

d_monadPlus_40 :: T_Level_18 -> T_RawMonadPlus_284 #

du_monadPlus_40 :: T_RawMonadPlus_284 #

d_sequenceA_88 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> Maybe AgdaAny -> AgdaAny #

du_sequenceA_88 :: T_RawApplicative_20 -> Maybe AgdaAny -> AgdaAny #

d_mapA_92 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny #

du_mapA_92 :: T_RawApplicative_20 -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny #

d_forA_96 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> T_Level_18 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du_forA_96 :: T_RawApplicative_20 -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_forA_162 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> T_Level_18 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du_forA_162 :: T_RawMonad_24 -> T_Level_18 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_mapA_164 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny #

du_mapA_164 :: T_RawMonad_24 -> T_Level_18 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny #

d_sequenceA_166 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> Maybe AgdaAny -> AgdaAny #

du_sequenceA_166 :: T_RawMonad_24 -> () -> Maybe AgdaAny -> AgdaAny #