cryptol-2.10.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.Parser.NoInclude

Description

 

Documentation

data IncludeError Source #

Instances

Instances details
Show IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

Generic IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

Associated Types

type Rep IncludeError :: Type -> Type #

NFData IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

Methods

rnf :: IncludeError -> () #

type Rep IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude