cryptol-2.13.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.Parser.Layout

Synopsis

Documentation

layout :: Bool -> [Located Token] -> [Located Token] Source #

data Block Source #

Constructors

Virtual Int

Virtual layout block

Explicit TokenT

An explicit layout block, expecting this ending token.

Instances

Instances details
Show Block Source # 
Instance details

Defined in Cryptol.Parser.Layout

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

startsLayout :: TokenT -> Bool Source #

These tokens start an implicit layout block

endsLayout :: TokenT -> Bool Source #

These tokens end an implicit layout block

startsParenBlock :: TokenT -> Maybe TokenT Source #

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

virt :: Range -> TokenV -> Located Token Source #

Make a virtual token of the given type

errTok :: Range -> TokenErr -> Located Token Source #