mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-17 15:57:21 +03:00
Delete modules that appear entirely unused (#909)
This commit is contained in:
parent
89d2a3c080
commit
f256ef09c4
@ -1,25 +0,0 @@
|
|||||||
-- Copyright (c) 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
|
|
||||||
-- SPDX-License-Identifier: Apache-2.0
|
|
||||||
|
|
||||||
|
|
||||||
module Data.These.Extended
|
|
||||||
( module Data.These
|
|
||||||
, justHere
|
|
||||||
, justThere
|
|
||||||
) where
|
|
||||||
|
|
||||||
import Data.These
|
|
||||||
|
|
||||||
-- | Extract the first half of 'These'.
|
|
||||||
justHere :: These a t -> Maybe a
|
|
||||||
justHere = \case
|
|
||||||
This a -> Just a
|
|
||||||
That _ -> Nothing
|
|
||||||
These a _ -> Just a
|
|
||||||
|
|
||||||
-- | Extract the second half of 'These'.
|
|
||||||
justThere :: These t a -> Maybe a
|
|
||||||
justThere = \case
|
|
||||||
This _ -> Nothing
|
|
||||||
That a -> Just a
|
|
||||||
These _ a -> Just a
|
|
@ -1,6 +0,0 @@
|
|||||||
-- Copyright (c) 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
|
|
||||||
-- SPDX-License-Identifier: Apache-2.0
|
|
||||||
|
|
||||||
module Main (module DA.Cli.Damlc) where
|
|
||||||
|
|
||||||
import DA.Cli.Damlc
|
|
@ -1,81 +0,0 @@
|
|||||||
-- Copyright (c) 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
|
|
||||||
-- SPDX-License-Identifier: Apache-2.0
|
|
||||||
|
|
||||||
{-# OPTIONS_GHC -Wno-orphans #-}
|
|
||||||
module DA.Service.JsonRpc.Arbitrary() where
|
|
||||||
|
|
||||||
import Data.Aeson.Types
|
|
||||||
import qualified Data.HashMap.Strict as M
|
|
||||||
import Data.Text (Text)
|
|
||||||
import qualified Data.Text as T
|
|
||||||
import DA.Service.JsonRpc.Data
|
|
||||||
import Test.QuickCheck.Arbitrary
|
|
||||||
import Test.QuickCheck.Gen
|
|
||||||
|
|
||||||
instance Arbitrary Text where
|
|
||||||
arbitrary = T.pack <$> arbitrary
|
|
||||||
|
|
||||||
instance Arbitrary Ver where
|
|
||||||
arbitrary = elements [V1, V2]
|
|
||||||
|
|
||||||
instance Arbitrary Request where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ Request <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary
|
|
||||||
, Notif <$> arbitrary <*> arbitrary <*> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
instance Arbitrary Response where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ Response <$> arbitrary <*> arbitrary <*> arbitrary
|
|
||||||
, ResponseError <$> arbitrary <*> arbitrary <*> arbitrary
|
|
||||||
, OrphanError <$> arbitrary <*> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
|
|
||||||
instance Arbitrary ErrorObj where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ ErrorObj <$> arbitrary <*> arbitrary <*> arbitrary
|
|
||||||
, ErrorVal <$> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
instance Arbitrary BatchRequest where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ BatchRequest <$> arbitrary
|
|
||||||
, SingleRequest <$> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
instance Arbitrary BatchResponse where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ BatchResponse <$> arbitrary
|
|
||||||
, SingleResponse <$> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
instance Arbitrary Message where
|
|
||||||
arbitrary = oneof
|
|
||||||
[ MsgRequest <$> arbitrary
|
|
||||||
, MsgResponse <$> arbitrary
|
|
||||||
, MsgBatch <$> batch
|
|
||||||
]
|
|
||||||
where
|
|
||||||
batch = listOf $ oneof [ MsgRequest <$> arbitrary
|
|
||||||
, MsgResponse <$> arbitrary
|
|
||||||
]
|
|
||||||
|
|
||||||
instance Arbitrary Id where
|
|
||||||
arbitrary = oneof [IdInt <$> arbitrary, IdTxt <$> arbitrary]
|
|
||||||
|
|
||||||
instance Arbitrary Value where
|
|
||||||
arbitrary = resize 10 $ oneof [nonull, lsn, objn] where
|
|
||||||
nonull = oneof
|
|
||||||
[ toJSON <$> (arbitrary :: Gen String)
|
|
||||||
, toJSON <$> (arbitrary :: Gen Int)
|
|
||||||
, toJSON <$> (arbitrary :: Gen Double)
|
|
||||||
, toJSON <$> (arbitrary :: Gen Bool)
|
|
||||||
]
|
|
||||||
val = oneof [ nonull, return Null ]
|
|
||||||
ls = toJSON <$> listOf val
|
|
||||||
obj = toJSON . M.fromList <$> listOf ps
|
|
||||||
ps = (,) <$> (arbitrary :: Gen String) <*> oneof [val, ls]
|
|
||||||
lsn = toJSON <$> listOf (oneof [ls, obj, val])
|
|
||||||
objn = toJSON . M.fromList <$> listOf psn
|
|
||||||
psn = (,) <$> (arbitrary :: Gen String) <*> oneof [val, ls, obj]
|
|
Loading…
Reference in New Issue
Block a user