Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.Parser.Layout

Synopsis

Documentation

Constructors

Virtual Int	Virtual layout block
Explicit TokenT	An explicit layout block, expecting this ending token.

Instances details

Show Block Source #
Instance details Defined in Cryptol.Parser.Layout Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #

These tokens start an implicit layout block

These tokens end an implicit layout block

These tokens start an explicit "paren" layout block. If so, the result contains the corresponding closing paren.

Make a virtual token of the given type