1  
 2  module Params where
 3  
 4  --------------------------------------------------------------------------------
 5  
 6  import Data.Bits
 7  
 8  --------------------------------------------------------------------------------
 9  
10  -- | The size of the scalar field
11  r :: Integer
12  r = 21888242871839275222246405745257275088548364400416034343698204186575808495617
13  
14  toBitsLE :: Integer -> [Int]
15  toBitsLE = go where
16    go 0 = []
17    go n = fromInteger (n .&. 1) : go (shiftR n 1)
18  
19  --------------------------------------------------------------------------------