Module BwdLabels.Infix

Infix notation

val (<:) : 'a bwd -> 'a -> 'a bwd

An alias of BwdLabels.snoc.

  • since 2.2.0
val (<@) : 'a bwd -> 'a list -> 'a bwd

An alias of BwdLabels.append.

  • since 2.2.0
val (@>) : 'a bwd -> 'a list -> 'a list

An alias of BwdLabels.prepend.

  • since 2.2.0

Deprecated infix notation

val (#<) : 'a bwd -> 'a -> 'a bwd

An alias of BwdLabels.snoc.

  • deprecated

    Use (<:)

val (<><) : 'a bwd -> 'a list -> 'a bwd

An alias of BwdLabels.append.

  • deprecated

    Use (<@)

val (<>>) : 'a bwd -> 'a list -> 'a list

An alias of BwdLabels.prepend.

  • deprecated

    Use (@>)