Skip to main content
Ctrl+K

ulkb documentation

Site Navigation

  • Object
  • Expression
  • Type constructor
  • Type
  • Term
  • Prelude
  • Extension
  • Theory
  • Commands
  • Conversion, parsing, serialization
  • Appendix: More object methods
  • Appendix: Utilities

Site Navigation

  • Object
  • Expression
  • Type constructor
  • Type
  • Term
  • Prelude
  • Extension
  • Theory
  • Commands
  • Conversion, parsing, serialization
  • Appendix: More object methods
  • Appendix: Utilities

Section Navigation

  • ulkb.util.identity
  • ulkb.util.all_map
  • ulkb.util.any_map
  • ulkb.util.flip
  • ulkb.util.foldl
  • ulkb.util.foldl_args
  • ulkb.util.foldl1
  • ulkb.util.foldl1_args
  • ulkb.util.foldl_infix
  • ulkb.util.unfoldl
  • ulkb.util.foldr
  • ulkb.util.foldr_args
  • ulkb.util.foldr1
  • ulkb.util.foldr1_args
  • ulkb.util.foldr_infix
  • ulkb.util.unfoldr
  • ulkb.util.map_args
  • ulkb.util.match_first
  • ulkb.util.match_last
  • ulkb.util.sliding_pairs
  • ulkb.util.sliding_pairs_args
  • ulkb.util.get_package_data_dir
  • ulkb.util.Nil
  • ulkb.util.camel2snake
  • ulkb.util.get_variant
  • ulkb.util.get_variant_not_in
  • Appendix: Utilities
  • ulkb.util.sliding_pairs_args

ulkb.util.sliding_pairs_args#

sliding_pairs_args(x1, x2, *xs)[source]#

Same as sliding_pairs() but applies to varargs.

previous

ulkb.util.sliding_pairs

next

ulkb.util.get_package_data_dir

On this page
  • sliding_pairs_args()
Show Source

© Copyright 2023, IBM Corp.

Created using Sphinx 7.2.2.

Built with the PyData Sphinx Theme 0.13.3.