Check.main: def of bend-osdev-pkcs7@0.1.0.0
Import: import bend-osdev-pkcs7@0.1.0.0/check.bend as Check
Lines 64-78 of bend-osdev-pkcs7@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-pkcs7@0.1.0.0/check.bend&start_line=64&end_line=78

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M
import bend-osdev-pkcs7@0.1.0.0/pkcs7.bend as P

def main() -> IO(Unit):
  +m15 = msg(15n)
  +m1000 = msg(1000n)
  do IO<Unit>:
    IO.print("pad_16_empty " ++ res(P.Pkcs7.pad(16n, B.Octets.empty())))
    IO.print("pad_16_15 " ++ res(P.Pkcs7.pad(16n, m15)))
    IO.print("pad_8_5 " ++ res(P.Pkcs7.pad(8n, msg(5n))))
    IO.print("unpad_16_15 " ++ back(Result.bind(&2, &2, M.CmError, B.Octets, B.Octets, P.Pkcs7.pad(16n, m15), c => P.Pkcs7.unpad(16n, c)), m15))
    IO.print("unpad_255_1000 " ++ back(Result.bind(&2, &2, M.CmError, B.Octets, B.Octets, P.Pkcs7.pad(255n, m1000), c => P.Pkcs7.unpad(255n, c)), m1000))
    IO.print("pad_0 " ++ res(P.Pkcs7.pad(0n, m15)))
    IO.print("pad_256 " ++ res(P.Pkcs7.pad(256n, m15)))
    IO.print("unpad_zero " ++ res(P.Pkcs7.unpad(16n, B.Octets.append(m15, B.Octets.of_list([0])))))
    IO.print("unpad_mixed " ++ res(P.Pkcs7.unpad(16n, B.Octets.append(B.Octets.take(13n, m15), B.Octets.of_list([2, 3, 3])))))
    IO.print("unpad_not_whole " ++ res(P.Pkcs7.unpad(16n, m15)))
    IO.print("unpad_empty " ++ res(P.Pkcs7.unpad(16n, B.Octets.empty())))

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.empty
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.take
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-pkcs7@0.1.0.0/check.bend&name=back
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-pkcs7@0.1.0.0/check.bend&name=msg
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-pkcs7@0.1.0.0/check.bend&name=res
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-pkcs7@0.1.0.0/pkcs7.bend&name=Pkcs7.pad
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-pkcs7@0.1.0.0/pkcs7.bend&name=Pkcs7.unpad