Moduleplutus-core-1.70.0.0

PlutusCore.FsTree

Synopsis

valuefoldFsTree :: (String -> [b] -> b) -> (String -> a -> b) -> FsTree a -> b

valuefoldPlcFolderContents

valuefoldPlcFsTree

valueplcTermFile :: String -> Term TyName Name uni fun () -> PlcFsTree uni fun

valueplcTypeFile :: String -> Type TyName uni () -> PlcFsTree uni fun

valuetreeFolderContents :: String -> [FsTree a] -> FsTree a

newtypenewtype FolderContents a

Instances2Semigroup, Monoid

Semigroup (FolderContents a)Defined in plutus-core-1.70.0.0 · PlutusCore.FsTree
Monoid (FolderContents a)Defined in plutus-core-1.70.0.0 · PlutusCore.FsTree

datadata FsTree a

datadata PlcEntity (uni :: Type -> Type) fun

typetype PlcFolderContents (uni :: Type -> Type) fun = FolderContents (PlcEntity uni fun)

typetype PlcFsTree (uni :: Type -> Type) fun = FsTree (PlcEntity uni fun)