Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-tx-1.70.0.0

PlutusTx.Blueprint.Definition.TF

Packageplutus-tx-1.70.0.0
Exports9
LicenceApache-2.0

familytype family (++) (as :: [k]) (bs :: [k]) :: [k] where

Equations

(++) '[] bs = bs
(++) as '[] = as
(++) (a ': as) bs = Insert a (as ++ bs)

familytype family Append (xs :: [k]) (ys :: [k]) :: [k] where

Equations

Append '[] ys = ys
Append (x ': xs) ys = x ': Append xs ys

familytype family Concat (as :: [k]) (bs :: [k]) :: [k] where

Equations

Concat '[] bs = bs
Concat as '[] = as
Concat (a ': as) bs = a ': Concat as bs

familytype family IfStuckRep (e :: Type -> Type) (rep :: Type -> Type) :: Type -> Type where

Equations

IfStuckRep _1 (M1 a b c) = M1 a b c
IfStuckRep _1 (f :*: g) = f :*: g
IfStuckRep _1 (f :+: g) = f :+: g
IfStuckRep _1 (K1 a b) = K1 a b
IfStuckRep e U1 = U1
IfStuckRep e x = e

familytype family IfStuckUnroll (e :: [Type]) (t :: [Type]) :: [Type] where

Equations

IfStuckUnroll _1 '[] = '[]
IfStuckUnroll _1 (x ': xs) = x ': xs
IfStuckUnroll e _1 = e

familytype family Insert (x :: k) (xs :: [k]) :: [k] where

Equations

Insert x '[] = '[x]
Insert x (x ': xs) = x ': xs
Insert x (y ': xs) = y ': Insert x xs

familytype family Nub (xs :: [k]) :: [k] where

Equations

Nub xs = NubHelper '[] xs

familytype family NubHelper (acc :: [k]) (xs :: [k]) :: [k] where

Equations

NubHelper acc '[] = acc
NubHelper acc (x ': xs) = NubHelper (Insert x acc) xs

familytype family Reverse (xs :: [k]) :: [k] where

Equations

Reverse '[] = '[]
Reverse (x ': xs) = Append (Reverse xs) '[x]