| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base
Documentation
d_Pointwise_48 :: p -> p -> p -> p -> p -> p -> p -> p -> () #
data T_Pointwise_48 #
Constructors
| C_'91''93'_56 | |
| C__'8759'__62 AgdaAny T_Pointwise_48 |
d_head_64 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T_Pointwise_48 -> AgdaAny #
du_head_64 :: T_Pointwise_48 -> AgdaAny #
d_tail_70 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_uncons_76 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T_Pointwise_48 -> T_Σ_14 #
du_uncons_76 :: T_Pointwise_48 -> T_Σ_14 #
d_rec_102 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> ([AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> ()) -> (AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> AgdaAny #
du_rec_102 :: (AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> AgdaAny #
d_map_120 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
du_map_120 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Pointwise_48 #
d_unzip_130 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Σ_14 #
du_unzip_130 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Σ_14 #