plutus-use-cases-0.1.0.0: Collection of smart contracts to develop the plutus/wallet interface
Safe HaskellNone
LanguageHaskell2010

Plutus.Contracts.Uniswap.Types

Synopsis

Documentation

data U Source #

Uniswap coin token

Constructors

U 

Instances

Instances details
Eq U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(==) :: U -> U -> Bool Source #

(/=) :: U -> U -> Bool Source #

Data U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> U -> c U Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c U Source #

toConstr :: U -> Constr Source #

dataTypeOf :: U -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c U) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c U) Source #

gmapT :: (forall b. Data b => b -> b) -> U -> U Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> U -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> U -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> U -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> U -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> U -> m U Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> U -> m U Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> U -> m U Source #

Show U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

showsPrec :: Int -> U -> ShowS Source #

show :: U -> String Source #

showList :: [U] -> ShowS Source #

Generic U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Associated Types

type Rep U :: Type -> Type Source #

Methods

from :: U -> Rep U x Source #

to :: Rep U x -> U Source #

UnsafeFromData U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep U Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep U = D1 ('MetaData "U" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-0.1.0.0-sCb7ThsvWbFT6VPXrOzPF" 'False) (C1 ('MetaCons "U" 'PrefixI 'False) (U1 :: Type -> Type))

data A Source #

A-side coin token

Constructors

A 

Instances

Instances details
Data A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> A -> c A Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c A Source #

toConstr :: A -> Constr Source #

dataTypeOf :: A -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c A) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c A) Source #

gmapT :: (forall b. Data b => b -> b) -> A -> A Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> A -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> A -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> A -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> A -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> A -> m A Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> A -> m A Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> A -> m A Source #

UnsafeFromData A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni A Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

data B Source #

B-side coin token

Constructors

B 

Instances

Instances details
Data B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> B -> c B Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c B Source #

toConstr :: B -> Constr Source #

dataTypeOf :: B -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c B) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c B) Source #

gmapT :: (forall b. Data b => b -> b) -> B -> B Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> B -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> B -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> B -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> B -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> B -> m B Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> B -> m B Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> B -> m B Source #

UnsafeFromData B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni B Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

data PoolState Source #

Pool-state coin token

Constructors

PoolState 

Instances

Instances details
Data PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PoolState -> c PoolState Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PoolState Source #

toConstr :: PoolState -> Constr Source #

dataTypeOf :: PoolState -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PoolState) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PoolState) Source #

gmapT :: (forall b. Data b => b -> b) -> PoolState -> PoolState Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PoolState -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PoolState -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> PoolState -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PoolState -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source #

UnsafeFromData PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni PoolState Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

data Liquidity Source #

Liquidity-state coin token

Constructors

Liquidity 

Instances

Instances details
Data Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Liquidity -> c Liquidity Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Liquidity Source #

toConstr :: Liquidity -> Constr Source #

dataTypeOf :: Liquidity -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Liquidity) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Liquidity) Source #

gmapT :: (forall b. Data b => b -> b) -> Liquidity -> Liquidity Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Liquidity -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Liquidity -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Liquidity -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Liquidity -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source #

UnsafeFromData Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni Liquidity Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

newtype Coin a Source #

A single AssetClass. Because we use three coins, we use a phantom type to track which one is which.

Constructors

Coin 

Fields

Instances

Instances details
Lift DefaultUni (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Eq (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(==) :: Coin a -> Coin a -> Bool Source #

(/=) :: Coin a -> Coin a -> Bool Source #

Data a => Data (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Coin a -> c (Coin a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Coin a) Source #

toConstr :: Coin a -> Constr Source #

dataTypeOf :: Coin a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Coin a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Coin a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Coin a -> Coin a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coin a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coin a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Coin a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Coin a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source #

Ord (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

compare :: Coin a -> Coin a -> Ordering Source #

(<) :: Coin a -> Coin a -> Bool Source #

(<=) :: Coin a -> Coin a -> Bool Source #

(>) :: Coin a -> Coin a -> Bool Source #

(>=) :: Coin a -> Coin a -> Bool Source #

max :: Coin a -> Coin a -> Coin a Source #

min :: Coin a -> Coin a -> Coin a Source #

Show (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

showsPrec :: Int -> Coin a -> ShowS Source #

show :: Coin a -> String Source #

showList :: [Coin a] -> ShowS Source #

Generic (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Associated Types

type Rep (Coin a) :: Type -> Type Source #

Methods

from :: Coin a -> Rep (Coin a) x Source #

to :: Rep (Coin a) x -> Coin a Source #

ToJSON (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromJSON (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable a => ToSchema (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToSchema (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

UnsafeFromData a => UnsafeFromData (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData a => FromData (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData a => ToData (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Eq (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(==) :: Coin a -> Coin a -> Bool Source #

Typeable DefaultUni Coin Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep (Coin a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep (Coin a) = D1 ('MetaData "Coin" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-0.1.0.0-sCb7ThsvWbFT6VPXrOzPF" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssetClass)))

newtype Amount a Source #

Likewise for Integer; the corresponding amount we have of the particular Coin.

Constructors

Amount 

Fields

Instances

Instances details
Lift DefaultUni (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Eq (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(==) :: Amount a -> Amount a -> Bool Source #

(/=) :: Amount a -> Amount a -> Bool Source #

Data a => Data (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Amount a -> c (Amount a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Amount a) Source #

toConstr :: Amount a -> Constr Source #

dataTypeOf :: Amount a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Amount a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Amount a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Amount a -> Amount a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Amount a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Amount a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Amount a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Amount a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source #

Num (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Ord (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

compare :: Amount a -> Amount a -> Ordering Source #

(<) :: Amount a -> Amount a -> Bool Source #

(<=) :: Amount a -> Amount a -> Bool Source #

(>) :: Amount a -> Amount a -> Bool Source #

(>=) :: Amount a -> Amount a -> Bool Source #

max :: Amount a -> Amount a -> Amount a Source #

min :: Amount a -> Amount a -> Amount a Source #

Show (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Generic (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Associated Types

type Rep (Amount a) :: Type -> Type Source #

Methods

from :: Amount a -> Rep (Amount a) x Source #

to :: Rep (Amount a) x -> Amount a Source #

ToJSON (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromJSON (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

PrintfArg (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToSchema (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

UnsafeFromData a => UnsafeFromData (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData a => FromData (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData a => ToData (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

AdditiveSemigroup (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(+) :: Amount a -> Amount a -> Amount a Source #

AdditiveMonoid (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

zero :: Amount a Source #

AdditiveGroup (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(-) :: Amount a -> Amount a -> Amount a Source #

MultiplicativeSemigroup (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(*) :: Amount a -> Amount a -> Amount a Source #

Ord (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

compare :: Amount a -> Amount a -> Ordering Source #

(<) :: Amount a -> Amount a -> Bool Source #

(<=) :: Amount a -> Amount a -> Bool Source #

(>) :: Amount a -> Amount a -> Bool Source #

(>=) :: Amount a -> Amount a -> Bool Source #

max :: Amount a -> Amount a -> Amount a Source #

min :: Amount a -> Amount a -> Amount a Source #

Eq (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

(==) :: Amount a -> Amount a -> Bool Source #

Typeable DefaultUni Amount Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep (Amount a) Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep (Amount a) = D1 ('MetaData "Amount" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-0.1.0.0-sCb7ThsvWbFT6VPXrOzPF" 'True) (C1 ('MetaCons "Amount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype Uniswap Source #

Constructors

Uniswap 

Fields

Instances

Instances details
Eq Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Data Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Uniswap -> c Uniswap Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Uniswap Source #

toConstr :: Uniswap -> Constr Source #

dataTypeOf :: Uniswap -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Uniswap) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Uniswap) Source #

gmapT :: (forall b. Data b => b -> b) -> Uniswap -> Uniswap Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Uniswap -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Uniswap -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Uniswap -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Uniswap -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source #

Ord Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Show Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Generic Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Associated Types

type Rep Uniswap :: Type -> Type Source #

ToJSON Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromJSON Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToSchema Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToSchema Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

UnsafeFromData Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep Uniswap Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep Uniswap = D1 ('MetaData "Uniswap" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-0.1.0.0-sCb7ThsvWbFT6VPXrOzPF" 'True) (C1 ('MetaCons "Uniswap" 'PrefixI 'True) (S1 ('MetaSel ('Just "usCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin U))))

data LiquidityPool Source #

Constructors

LiquidityPool 

Fields

Instances

Instances details
Data LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LiquidityPool -> c LiquidityPool Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LiquidityPool Source #

toConstr :: LiquidityPool -> Constr Source #

dataTypeOf :: LiquidityPool -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LiquidityPool) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LiquidityPool) Source #

gmapT :: (forall b. Data b => b -> b) -> LiquidityPool -> LiquidityPool Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LiquidityPool -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LiquidityPool -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> LiquidityPool -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LiquidityPool -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source #

Show LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Generic LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Associated Types

type Rep LiquidityPool :: Type -> Type Source #

ToJSON LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromJSON LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToSchema LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

UnsafeFromData LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

FromData LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

ToData LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Eq LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Lift DefaultUni LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

Typeable DefaultUni LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep LiquidityPool Source # 
Instance details

Defined in Plutus.Contracts.Uniswap.Types

type Rep LiquidityPool = D1 ('MetaData "LiquidityPool" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-0.1.0.0-sCb7ThsvWbFT6VPXrOzPF" 'False) (C1 ('MetaCons "LiquidityPool" 'PrefixI 'True) (S1 ('MetaSel ('Just "lpCoinA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin A)) :*: S1 ('MetaSel ('Just "lpCoinB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin B))))