Generic.Random.Internal.BaseCase

genericArbitrary'

genericArbitraryU'

withBaseCase

class BaseCaseSearch a z y e

class BaseCaseSearching_ a z y

class BaseCaseSearching a z

class BaseCase a

type family IfM (b :: Maybe t) (c :: k) (d :: k) :: k

type m == n

type family IsEQ (e :: Ordering) :: Bool

type family (b :: Maybe Nat) ||? (c :: Maybe Nat) :: Maybe Nat

type family (b :: Maybe Nat) &&? (c :: Maybe Nat) :: Maybe Nat

type Max m n

type family MaxOf (e :: Ordering) (m :: k) (n :: k) :: k

type Min m n

type family MinOf (e :: Ordering) (m :: k) (n :: k) :: k

class GBCS f z y e

class GBCSSum f g z e yf yg

class GBCSSumCompare f g z e o

class GBCSProduct f g z e yf yg

class IsMaybe b

class GBaseCaseSearch a z y e