1{-# LANGUAGE NoImplicitPrelude #-}
3module Main (main) where
9-- Encoding is a newtype wrapper around Builder
10import Data.Aeson.Encoding (text, string, encodingToLazyByteString)
11import qualified Data.Text as T
15 let txt = "append (append b (primBounded w1 x1)) (primBounded w2 x2)"
18 bench "text" $ nf (encodingToLazyByteString . text) (T.pack txt)
19 , bench "string direct" $ nf (encodingToLazyByteString . string) txt
20 , bench "string via text" $ nf (encodingToLazyByteString . text . T.pack) txt
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list