Codec.Candid.TestExports

This modules exports internals soley for the purpose of importing them in the test suite

Documentation

data DidFile

Constructors

DidFile

Fields

• defs :: [DidDef TypeName]
• service :: DidService TypeName

Instances

Eq DidFile

Defined in Codec.Candid.Types

Methods

(==) :: DidFile -> DidFile -> Bool

(/=) :: DidFile -> DidFile -> Bool

Show DidFile

Defined in Codec.Candid.Types

Methods

showsPrec :: Int -> DidFile -> ShowS

show :: DidFile -> String

showList :: [DidFile] -> ShowS

Pretty DidFile

Defined in Codec.Candid.Types

Methods

pretty :: DidFile -> Doc ann

prettyList :: [DidFile] -> Doc ann

data DidMethod a

A candid service, as a list of methods with argument and result types

(no support for annotations like query yet)

Constructors

DidMethod

Fields

• methodName :: Text
• methodParams :: [Type a]
• methodResults :: [Type a]

Instances

Functor DidMethod

Defined in Codec.Candid.Types

Methods

fmap :: (a -> b) -> DidMethod a -> DidMethod b

(<$) :: a -> DidMethod b -> DidMethod a

Foldable DidMethod

Defined in Codec.Candid.Types

Methods

fold :: Monoid m => DidMethod m -> m

foldMap :: Monoid m => (a -> m) -> DidMethod a -> m

foldMap' :: Monoid m => (a -> m) -> DidMethod a -> m

foldr :: (a -> b -> b) -> b -> DidMethod a -> b

foldr' :: (a -> b -> b) -> b -> DidMethod a -> b

foldl :: (b -> a -> b) -> b -> DidMethod a -> b

foldl' :: (b -> a -> b) -> b -> DidMethod a -> b

foldr1 :: (a -> a -> a) -> DidMethod a -> a

foldl1 :: (a -> a -> a) -> DidMethod a -> a

toList :: DidMethod a -> [a]

null :: DidMethod a -> Bool

length :: DidMethod a -> Int

elem :: Eq a => a -> DidMethod a -> Bool

maximum :: Ord a => DidMethod a -> a

minimum :: Ord a => DidMethod a -> a

sum :: Num a => DidMethod a -> a

product :: Num a => DidMethod a -> a

Traversable DidMethod

Defined in Codec.Candid.Types

Methods

traverse :: Applicative f => (a -> f b) -> DidMethod a -> f (DidMethod b)

sequenceA :: Applicative f => DidMethod (f a) -> f (DidMethod a)

mapM :: Monad m => (a -> m b) -> DidMethod a -> m (DidMethod b)

sequence :: Monad m => DidMethod (m a) -> m (DidMethod a)

Eq a => Eq (DidMethod a)

Defined in Codec.Candid.Types

Methods

(==) :: DidMethod a -> DidMethod a -> Bool

(/=) :: DidMethod a -> DidMethod a -> Bool

Show a => Show (DidMethod a)

Defined in Codec.Candid.Types

Methods

showsPrec :: Int -> DidMethod a -> ShowS

show :: DidMethod a -> String

showList :: [DidMethod a] -> ShowS

Pretty a => Pretty (DidMethod a)

Defined in Codec.Candid.Types

Methods

pretty :: DidMethod a -> Doc ann

prettyList :: [DidMethod a] -> Doc ann

data TestAssertion

Constructors

CanParse TestInput

CannotParse TestInput

ParseEq Bool TestInput TestInput

data TestInput

Constructors

FromTextual Text

FromBinary ByteString

data CandidTest a

Constructors

CandidTest

Fields

• testLine :: Int
• testAssertion :: TestAssertion
• testType :: [Type a]
• testDesc :: Maybe Text

Instances

Functor CandidTest

Defined in Codec.Candid.Parse

Methods

fmap :: (a -> b) -> CandidTest a -> CandidTest b

(<$) :: a -> CandidTest b -> CandidTest a

Foldable CandidTest

Defined in Codec.Candid.Parse

Methods

fold :: Monoid m => CandidTest m -> m

foldMap :: Monoid m => (a -> m) -> CandidTest a -> m

foldMap' :: Monoid m => (a -> m) -> CandidTest a -> m

foldr :: (a -> b -> b) -> b -> CandidTest a -> b

foldr' :: (a -> b -> b) -> b -> CandidTest a -> b

foldl :: (b -> a -> b) -> b -> CandidTest a -> b

foldl' :: (b -> a -> b) -> b -> CandidTest a -> b

foldr1 :: (a -> a -> a) -> CandidTest a -> a

foldl1 :: (a -> a -> a) -> CandidTest a -> a

toList :: CandidTest a -> [a]

null :: CandidTest a -> Bool

length :: CandidTest a -> Int

elem :: Eq a => a -> CandidTest a -> Bool

maximum :: Ord a => CandidTest a -> a

minimum :: Ord a => CandidTest a -> a

sum :: Num a => CandidTest a -> a

product :: Num a => CandidTest a -> a

Traversable CandidTest

Defined in Codec.Candid.Parse

Methods

traverse :: Applicative f => (a -> f b) -> CandidTest a -> f (CandidTest b)

sequenceA :: Applicative f => CandidTest (f a) -> f (CandidTest a)

mapM :: Monad m => (a -> m b) -> CandidTest a -> m (CandidTest b)

sequence :: Monad m => CandidTest (m a) -> m (CandidTest a)

data CandidTestFile

A candid test file

(no support for type definitions yet)

Constructors

CandidTestFile

Fields

• testDefs :: [DidDef TypeName]
• testTests :: [CandidTest TypeName]

parseCandidTests :: String -> String -> Either String CandidTestFile

Parses a candid spec test file from a string

generateCandidDefs :: [DidDef TypeName] -> Q ([Dec], TypeName -> Q Name)

Turns all candid type definitions into newtypes Used, so far, only in the Candid test suite runner

candidTypeQ :: [Type Name] -> TypeQ