| Safe Haskell | None |
|---|
MAlonzo.Code.Data.List.NonEmpty.Base
Documentation
d_List'8314'_24 :: p1 -> p2 -> () Source #
data T_List'8314'_24 Source #
Constructors
| C__'8759'__36 AgdaAny [AgdaAny] |
d_head_32 :: T_List'8314'_24 -> AgdaAny Source #
d_tail_34 :: T_List'8314'_24 -> [AgdaAny] Source #
d_uncons_38 :: T_Level_14 -> () -> T_List'8314'_24 -> T_Σ_14 Source #
du_uncons_38 :: T_List'8314'_24 -> T_Σ_14 Source #
d_'91'_'93'_44 :: T_Level_14 -> () -> AgdaAny -> T_List'8314'_24 Source #
d__'8759''8314'__48 :: T_Level_14 -> () -> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_length_56 :: T_Level_14 -> () -> T_List'8314'_24 -> Integer Source #
du_length_56 :: T_List'8314'_24 -> Integer Source #
d_toList_62 :: T_Level_14 -> () -> T_List'8314'_24 -> [AgdaAny] Source #
du_toList_62 :: T_List'8314'_24 -> [AgdaAny] Source #
d_fromList_68 :: T_Level_14 -> () -> [AgdaAny] -> Maybe T_List'8314'_24 Source #
du_fromList_68 :: [AgdaAny] -> Maybe T_List'8314'_24 Source #
d_fromVec_76 :: T_Level_14 -> () -> Integer -> T_Vec_28 -> T_List'8314'_24 Source #
d_toVec_84 :: T_Level_14 -> () -> T_List'8314'_24 -> T_Vec_28 Source #
d_lift_94 :: T_Level_14 -> () -> T_Level_14 -> () -> (Integer -> T_Vec_28 -> T_Σ_14) -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_lift_94 :: (Integer -> T_Vec_28 -> T_Σ_14) -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_map_100 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_map_100 :: (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_replicate_110 :: T_Level_14 -> () -> Integer -> (T__'8801'__12 -> T_'8869'_4) -> AgdaAny -> T_List'8314'_24 Source #
du_replicate_110 :: Integer -> AgdaAny -> T_List'8314'_24 Source #
d_drop'43'_118 :: T_Level_14 -> () -> Integer -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_drop'43'_118 :: Integer -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_foldr_134 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
du_foldr_134 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
d_foldr'8242'_152 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> AgdaAny Source #
du_foldr'8242'_152 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny Source #
d_foldr'8321'_162 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
du_foldr'8321'_162 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
d_foldl_166 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
du_foldl_166 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
d_foldl'8321'_176 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
du_foldl'8321'_176 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #
d__'8314''43''43''8314'__180 :: T_Level_14 -> () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
d__'8314''43''43'__190 :: T_Level_14 -> () -> T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24 Source #
d__'43''43''8314'__198 :: T_Level_14 -> () -> [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_concat_204 :: T_Level_14 -> () -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_concatMap_210 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_concatMap_210 :: (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_reverse_214 :: T_Level_14 -> () -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_alignWith_216 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_alignWith_216 :: (T_These_38 -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_zipWith_228 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
du_zipWith_228 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_unalignWith_240 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38 Source #
du_unalignWith_240 :: (AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38 Source #
d_mcons_252 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> T_Level_14 -> () -> T_These_38 -> T_List'8314'_24 Source #
d_unzipWith_254 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14 Source #
du_unzipWith_254 :: (AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14 Source #
d_align_262 :: T_Level_14 -> () -> T_Level_14 -> () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_zip_264 :: T_Level_14 -> () -> T_Level_14 -> () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 Source #
d_unalign_266 :: T_Level_14 -> () -> T_Level_14 -> () -> T_List'8314'_24 -> T_These_38 Source #
d_unzip_268 :: T_Level_14 -> () -> T_Level_14 -> () -> T_List'8314'_24 -> T_Σ_14 Source #
du_unzip_268 :: T_List'8314'_24 -> T_Σ_14 Source #
d__'8759''691'__270 :: T_Level_14 -> () -> [AgdaAny] -> AgdaAny -> T_List'8314'_24 Source #
du__'8759''691'__270 :: [AgdaAny] -> AgdaAny -> T_List'8314'_24 Source #
d__'8314''8759''691'__280 :: T_Level_14 -> () -> T_List'8314'_24 -> AgdaAny -> T_List'8314'_24 Source #
d_SnocView_290 :: p1 -> p2 -> p3 -> () Source #
data T_SnocView_290 Source #
Constructors
| C__'8759''691''8242'__298 [AgdaAny] AgdaAny |
d_snocView_302 :: T_Level_14 -> () -> T_List'8314'_24 -> T_SnocView_290 Source #
d_last_320 :: T_Level_14 -> () -> T_List'8314'_24 -> AgdaAny Source #
du_last_320 :: T_List'8314'_24 -> AgdaAny Source #