eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Pipeline.EOTests.Data

Documentation

data Pos Source #

Constructors

Pos 

Fields

Instances

Instances details
FromJSON Pos Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

ToJSON Pos Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Show Pos Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Methods

showsPrec :: Int -> Pos -> ShowS #

show :: Pos -> String #

showList :: [Pos] -> ShowS #

data Program Source #

Constructors

Program 

Fields

Instances

Instances details
FromJSON Program Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

ToJSON Program Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Generic Program Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Associated Types

type Rep Program :: Type -> Type #

Methods

from :: Program -> Rep Program x #

to :: Rep Program x -> Program #

Show Program Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

type Rep Program Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

type Rep Program = D1 ('MetaData "Program" "Language.EO.Phi.Pipeline.EOTests.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "Program" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data Test Source #

Constructors

Test 

Instances

Instances details
FromJSON Test Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

ToJSON Test Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Generic Test Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Associated Types

type Rep Test :: Type -> Type #

Methods

from :: Test -> Rep Test x #

to :: Rep Test x -> Test #

Show Test Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Methods

showsPrec :: Int -> Test -> ShowS #

show :: Test -> String #

showList :: [Test] -> ShowS #

type Rep Test Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

type Rep Test = D1 ('MetaData "Test" "Language.EO.Phi.Pipeline.EOTests.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "Test" 'PrefixI 'True) ((S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "license") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "programs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Program]))))

data TestContent Source #

Constructors

TestContent 

Fields

Instances

Instances details
FromJSON TestContent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

ToJSON TestContent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Generic TestContent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

Associated Types

type Rep TestContent :: Type -> Type #

Show TestContent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

type Rep TestContent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.EOTests.Data

type Rep TestContent = D1 ('MetaData "TestContent" "Language.EO.Phi.Pipeline.EOTests.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "TestContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "programs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Program]))))