Angstrom number parser with GADT

Learning
, , ,
2 
type some_number = Number : 'a number -> some_number

let number = 
  let n x = Number x in 
  choice [map n hex; map n decimal]

(I’m assuming angstrom has some map : ('a -> 'b) -> 'a t -> 'b t function)

1 Like