Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.BuiltinList

Description

Functions operating on BuiltinList.

Synopsis

data BuiltinList a
caseList :: forall a r. (() -> r) -> (a -> BuiltinList a -> r) -> BuiltinList a -> r
caseList' :: forall a r. r -> (a -> BuiltinList a -> r) -> BuiltinList a -> r
map :: forall a b. MkNil b => (a -> b) -> BuiltinList a -> BuiltinList b
elem :: forall a. Eq a => a -> BuiltinList a -> Bool
find :: forall a. (a -> Bool) -> BuiltinList a -> Maybe a
any :: forall a. (a -> Bool) -> BuiltinList a -> Bool
all :: forall a. (a -> Bool) -> BuiltinList a -> Bool
(!!) :: forall a. BuiltinList a -> Integer -> a

Documentation

data BuiltinList a Source #

Instances

Instances details

(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) => Lift uni (BuiltinList arep) Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinList arep -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Data a => Data (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinList a -> c (BuiltinList a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BuiltinList a) Source # toConstr :: BuiltinList a -> Constr Source # dataTypeOf :: BuiltinList a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BuiltinList a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BuiltinList a)) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinList a -> BuiltinList a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinList a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinList a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinList a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinList a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source #
Show a => Show (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinList a -> ShowS Source # show :: BuiltinList a -> String Source # showList :: [BuiltinList a] -> ShowS Source #
Eq a => Eq (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinList a -> BuiltinList a -> Bool Source # (/=) :: BuiltinList a -> BuiltinList a -> Bool Source #
Ord a => Ord (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinList a -> BuiltinList a -> Ordering Source # (<) :: BuiltinList a -> BuiltinList a -> Bool Source # (<=) :: BuiltinList a -> BuiltinList a -> Bool Source # (>) :: BuiltinList a -> BuiltinList a -> Bool Source # (>=) :: BuiltinList a -> BuiltinList a -> Bool Source # max :: BuiltinList a -> BuiltinList a -> BuiltinList a Source # min :: BuiltinList a -> BuiltinList a -> BuiltinList a Source #
HasBlueprintDefinition a => HasBlueprintDefinition (BuiltinList a) Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll Associated Types type Unroll (BuiltinList a) :: [Type] Source # Methods definitionId :: DefinitionId Source #
HasFromBuiltin a => HasFromBuiltin (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.HasBuiltin Associated Types type FromBuiltin (BuiltinList a) Source # Methods fromBuiltin :: BuiltinList a -> FromBuiltin (BuiltinList a) Source #
HasBlueprintSchema a referencedTypes => HasBlueprintSchema (BuiltinList a) referencedTypes Source #
Instance details Defined in PlutusTx.Blueprint.Class Methods schema :: Schema referencedTypes Source #
HasFromOpaque arep a => HasFromOpaque (BuiltinList arep) [a] Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque :: BuiltinList arep -> [a] Source #
(HasToOpaque a arep, MkNil arep) => HasToOpaque [a] (BuiltinList arep) Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque :: [a] -> BuiltinList arep Source #
HasTypeLevel uni List => Typeable uni BuiltinList Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinList -> RTCompile uni fun (Type TyName uni ()) Source #
type Unroll (BuiltinList a) Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll type Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)
type FromBuiltin (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.HasBuiltin type FromBuiltin (BuiltinList a) = [FromBuiltin a]

caseList :: forall a r. (() -> r) -> (a -> BuiltinList a -> r) -> BuiltinList a -> r Source #

caseList' :: forall a r. r -> (a -> BuiltinList a -> r) -> BuiltinList a -> r Source #

map :: forall a b. MkNil b => (a -> b) -> BuiltinList a -> BuiltinList b Source #

elem :: forall a. Eq a => a -> BuiltinList a -> Bool Source #

find :: forall a. (a -> Bool) -> BuiltinList a -> Maybe a Source #

any :: forall a. (a -> Bool) -> BuiltinList a -> Bool Source #

all :: forall a. (a -> Bool) -> BuiltinList a -> Bool Source #

(!!) :: forall a. BuiltinList a -> Integer -> a infixl 9 Source #

Get the element at a given index.

This function is partial and takes linear time.