intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking
Safe HaskellNone
LanguageHaskell2010

Intensional

Synopsis

Documentation

plugin :: Plugin Source #

The GHC plugin is hardwired as plugin.

data Benchmark Source #

Constructors

Benchmark 

Fields

Instances

Instances details
Generic Benchmark Source # 
Instance details

Defined in Intensional

Associated Types

type Rep Benchmark :: Type -> Type #

ToJSON Benchmark Source # 
Instance details

Defined in Intensional

FromJSON Benchmark Source # 
Instance details

Defined in Intensional

type Rep Benchmark Source # 
Instance details

Defined in Intensional