{-|
Module      : GoPro.Plus.Arbitrary
Description : Arbitrary instances.
Copyright   : (c) Dustin Sallings, 2020
License     : BSD3
Maintainer  : dustin@spy.net
Stability   : experimental

Arbitrary instances for GoPro.Plus
-}

{-# OPTIONS_GHC -Wno-orphans #-}
module GoPro.Plus.Arbitrary where

import           Generic.Random                 (genericArbitrary, uniform)
import           Test.QuickCheck                (Arbitrary(..), vector, choose, arbitraryBoundedEnum)
import           Test.QuickCheck.Instances.Text ()
import           Test.QuickCheck.Instances.Time ()

import GoPro.Plus.Media

instance Arbitrary FileInfo where arbitrary :: Gen FileInfo
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary FileStuff where
  arbitrary :: Gen FileStuff
arbitrary = do
    [File]
_files <- forall a. Arbitrary a => Int -> Gen [a]
vector forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< forall a. Random a => (a, a) -> Gen a
choose (Int
0,Int
3)
    [Variation]
_variations <- forall a. Arbitrary a => Int -> Gen [a]
vector forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< forall a. Random a => (a, a) -> Gen a
choose (Int
0,Int
3)
    [Sprite]
_sprites <- forall a. Arbitrary a => Int -> Gen [a]
vector forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< forall a. Random a => (a, a) -> Gen a
choose (Int
0,Int
3)
    [SidecarFile]
_sidecar_files <- forall a. Arbitrary a => Int -> Gen [a]
vector forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< forall a. Random a => (a, a) -> Gen a
choose (Int
0,Int
3)
    forall (f :: * -> *) a. Applicative f => a -> f a
pure FileStuff{[File]
[Variation]
[Sprite]
[SidecarFile]
_sidecar_files :: [SidecarFile]
_sprites :: [Sprite]
_variations :: [Variation]
_files :: [File]
_sidecar_files :: [SidecarFile]
_sprites :: [Sprite]
_variations :: [Variation]
_files :: [File]
..}

instance Arbitrary Variation where arbitrary :: Gen Variation
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary SpriteFrame where arbitrary :: Gen SpriteFrame
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary SidecarFile where arbitrary :: Gen SidecarFile
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary Sprite where arbitrary :: Gen Sprite
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary File where arbitrary :: Gen File
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary Medium where arbitrary :: Gen Medium
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary Moment where arbitrary :: Gen Moment
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary ReadyToViewType where arbitrary :: Gen ReadyToViewType
arbitrary = forall a. (Bounded a, Enum a) => Gen a
arbitraryBoundedEnum

instance Arbitrary MediumType where arbitrary :: Gen MediumType
arbitrary = forall a. (Bounded a, Enum a) => Gen a
arbitraryBoundedEnum

instance Arbitrary PageInfo where arbitrary :: Gen PageInfo
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform

instance Arbitrary Listing where arbitrary :: Gen Listing
arbitrary = forall a. GArbitrary UnsizedOpts a => Weights a -> Gen a
genericArbitrary forall a. UniformWeight_ (Rep a) => Weights a
uniform