Safe Haskell	None
Language	GHC2021

Plutarch.Internal.TryFrom

Synopsis

class PSubtype a b => PTryFrom (a :: S -> Type) (b :: S -> Type)
type family PTryFromExcess (a :: S -> Type) (b :: S -> Type) :: S -> Type
ptryFrom' :: forall (s :: S) (r :: S -> Type). PTryFrom a b => Term s a -> ((Term s b, Reduce (PTryFromExcess a b s)) -> Term s r) -> Term s r
ptryFrom :: forall (b :: S -> Type) (a :: S -> Type) (s :: S) (r :: S -> Type). PTryFrom a b => Term s a -> ((Term s b, Reduce (PTryFromExcess a b s)) -> Term s r) -> Term s r
data PSubtypeRelation
- = PSubtypeRelation
- | PNoSubtypeRelation
type family PSubtype (a :: S -> Type) (b :: S -> Type) where ...
type family PSubtype' (a :: S -> Type) (b :: S -> Type) :: PSubtypeRelation where ...
pupcast :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PSubtype a b => Term s b -> Term s a

Documentation

class PSubtype a b => PTryFrom (a :: S -> Type) (b :: S -> Type) Source #

PTryFrom a b represents a subtyping relationship between a and b, and a way to go from a to b. Laws: - (punsafeCoerce . fst) $ tcont (ptryFrom x) ≡ pure x

Instances

Instances details

PTryFrom PData PData Source #

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData PData
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData PData = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s PData, Reduce (PTryFromExcess PData PData s)) -> Term s r) -> Term s r Source #

PTryFrom PInteger PPositive Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PInteger PPositive
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PInteger PPositive = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PInteger -> ((Term s PPositive, Reduce (PTryFromExcess PInteger PPositive s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PBool) Source #

Since: 1.7.0

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PBool)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PBool) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PBool), Reduce (PTryFromExcess PData (PAsData PBool) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PByteString) Source #

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PByteString)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PByteString) = Flip Term PByteString

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PByteString), Reduce (PTryFromExcess PData (PAsData PByteString) s)) -> Term s r) -> Term s r Source #

(PTryFrom PData (PAsData a), PIsData a) => PTryFrom PData (PAsData (PBuiltinList (PAsData a))) Source #

Recover a `PBuiltinList (PAsData a)`

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData (PBuiltinList (PAsData a)))
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinList (PAsData a))) = Flip Term (PBuiltinList (PAsData a))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PBuiltinList (PAsData a))), Reduce (PTryFromExcess PData (PAsData (PBuiltinList (PAsData a))) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData (PBuiltinList PData)) Source #

This verifies a list to be indeed a list but doesn't recover the inner data use this instance instead of the one for `PData (PAsData (PBuiltinList (PAsData a)))` as this is O(1) instead of O(n)

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData (PBuiltinList PData))
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinList PData)) = Flip Term (PBuiltinList PData)

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PBuiltinList PData)), Reduce (PTryFromExcess PData (PAsData (PBuiltinList PData)) s)) -> Term s r) -> Term s r Source #

(PTryFrom PData a, a ~ PAsData a', PIsData a', PTryFrom PData b, b ~ PAsData b', PIsData b') => PTryFrom PData (PAsData (PBuiltinPair a b)) Source #

Recover a `PAsData (PBuiltinPair a b)`

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData (PBuiltinPair a b))
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinPair a b)) = Flip Term (PBuiltinPair a b)

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PBuiltinPair a b)), Reduce (PTryFromExcess PData (PAsData (PBuiltinPair a b)) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PData) Source #

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PData)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PData) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PData), Reduce (PTryFromExcess PData (PAsData PData) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PInteger) Source #

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PInteger)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PInteger) = Flip Term PInteger

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PInteger), Reduce (PTryFromExcess PData (PAsData PInteger) s)) -> Term s r) -> Term s r Source #

(PTryFrom (PBuiltinList PData) (PDataRecord as), PTryFromExcess (PBuiltinList PData) (PDataRecord as) ~ HRecP ase) => PTryFrom PData (PAsData (PDataRecord as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PAsData (PDataRecord as))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataRecord as))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PDataRecord as)), Reduce (PTryFromExcess PData (PAsData (PDataRecord as)) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PDataSum ys) => PTryFrom PData (PAsData (PDataSum ys)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PAsData (PDataSum ys))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataSum ys)) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PDataSum ys)), Reduce (PTryFromExcess PData (PAsData (PDataSum ys)) s)) -> Term s r) -> Term s r Source #

(PTryFrom PData a, PTryFrom PData b) => PTryFrom PData (PAsData (PEitherData a b)) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type PTryFromExcess PData (PAsData (PEitherData a b))
Instance details Defined in Plutarch.Either type PTryFromExcess PData (PAsData (PEitherData a b)) = PTryFromExcess PData (PInner (PAsData (PEitherData a b)))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PEitherData a b)), Reduce (PTryFromExcess PData (PAsData (PEitherData a b)) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PNatural) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PNatural)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PNatural) = PTryFromExcess PData (PInner (PAsData PNatural))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PNatural), Reduce (PTryFromExcess PData (PAsData PNatural) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PPositive) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PPositive)
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PPositive) = PTryFromExcess PData (PInner (PAsData PPositive))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PPositive), Reduce (PTryFromExcess PData (PAsData PPositive) s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PRational) Source #

NOTE: This instance produces a verified PPositive as the excess output.

Instance details

Defined in Plutarch.Rational

Associated Types

type PTryFromExcess PData (PAsData PRational)
Instance details Defined in Plutarch.Rational type PTryFromExcess PData (PAsData PRational) = Flip Term PPositive

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PRational), Reduce (PTryFromExcess PData (PAsData PRational) s)) -> Term s r) -> Term s r Source #

SumValidation 0 ys => PTryFrom PData (PDataSum ys) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PDataSum ys)
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PDataSum ys) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PDataSum ys), Reduce (PTryFromExcess PData (PDataSum ys) s)) -> Term s r) -> Term s r Source #

(PTryFrom PData a, PTryFrom PData b) => PTryFrom PData (PEitherData a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Either

Associated Types

type PTryFromExcess PData (PEitherData a b)
Instance details Defined in Plutarch.Either type PTryFromExcess PData (PEitherData a b) = PTryFromExcess PData (PInner (PEitherData a b))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PEitherData a b), Reduce (PTryFromExcess PData (PEitherData a b) s)) -> Term s r) -> Term s r Source #

(Helper2 (PSubtype' PData pty) pty, PTryFrom (PBuiltinList PData) (PDataRecord as), PTryFromExcess (PBuiltinList PData) (PDataRecord as) ~ HRecP ase) => PTryFrom (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ((name ':= pty) ': as)), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) s)) -> Term s r) -> Term s r Source #

PTryFrom (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ('[] :: [PLabeledType])), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) s)) -> Term s r) -> Term s r Source #

type family PTryFromExcess (a :: S -> Type) (b :: S -> Type) :: S -> Type Source #

Instances

Instances details

type PTryFromExcess PData PData Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData PData = Const () :: S -> Type
type PTryFromExcess PInteger PPositive Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PInteger PPositive = Const () :: S -> Type
type PTryFromExcess PData (PAsData PBool) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PBool) = Const () :: S -> Type
type PTryFromExcess PData (PAsData PByteString) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PByteString) = Flip Term PByteString
type PTryFromExcess PData (PAsData (PBuiltinList (PAsData a))) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinList (PAsData a))) = Flip Term (PBuiltinList (PAsData a))
type PTryFromExcess PData (PAsData (PBuiltinList PData)) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinList PData)) = Flip Term (PBuiltinList PData)
type PTryFromExcess PData (PAsData (PBuiltinPair a b)) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData (PBuiltinPair a b)) = Flip Term (PBuiltinPair a b)
type PTryFromExcess PData (PAsData PData) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PData) = Const () :: S -> Type
type PTryFromExcess PData (PAsData PInteger) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PInteger) = Flip Term PInteger
type PTryFromExcess PData (PAsData (PDataRecord as)) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataRecord as))
type PTryFromExcess PData (PAsData (PDataSum ys)) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataSum ys)) = Const () :: S -> Type
type PTryFromExcess PData (PAsData (PEitherData a b)) Source #
Instance details Defined in Plutarch.Either type PTryFromExcess PData (PAsData (PEitherData a b)) = PTryFromExcess PData (PInner (PAsData (PEitherData a b)))
type PTryFromExcess PData (PAsData PNatural) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PNatural) = PTryFromExcess PData (PInner (PAsData PNatural))
type PTryFromExcess PData (PAsData PPositive) Source #
Instance details Defined in Plutarch.Internal.TryFrom type PTryFromExcess PData (PAsData PPositive) = PTryFromExcess PData (PInner (PAsData PPositive))
type PTryFromExcess PData (PAsData PRational) Source #
Instance details Defined in Plutarch.Rational type PTryFromExcess PData (PAsData PRational) = Flip Term PPositive
type PTryFromExcess PData (PDataSum ys) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PDataSum ys) = Const () :: S -> Type
type PTryFromExcess PData (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PTryFromExcess PData (PEitherData a b) = PTryFromExcess PData (PInner (PEitherData a b))
type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))
type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

ptryFrom' :: forall (s :: S) (r :: S -> Type). PTryFrom a b => Term s a -> ((Term s b, Reduce (PTryFromExcess a b s)) -> Term s r) -> Term s r Source #

ptryFrom :: forall (b :: S -> Type) (a :: S -> Type) (s :: S) (r :: S -> Type). PTryFrom a b => Term s a -> ((Term s b, Reduce (PTryFromExcess a b s)) -> Term s r) -> Term s r Source #

data PSubtypeRelation Source #

Constructors

PSubtypeRelation
PNoSubtypeRelation

type family PSubtype (a :: S -> Type) (b :: S -> Type) where ... Source #

Equations

PSubtype a b = (PSubtype' a b ~ 'PSubtypeRelation, PSubtypeHelper a b (PSubtype' a b))

type family PSubtype' (a :: S -> Type) (b :: S -> Type) :: PSubtypeRelation where ... Source #

Equations

PSubtype' a a = 'PSubtypeRelation
PSubtype' a b = Helper a b (PInner b)

pupcast :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PSubtype a b => Term s b -> Term s a Source #